Result Details

Shared variables in CSP

ŠČUGLÍK, F.; BUREŠ, F. Shared variables in CSP. WSEAS Transactions on Computers, 2004, vol. 2004, no. 3, p. 690-695. ISSN: 1109-2750.

Type

journal article

Language

English

Authors

Ščuglík František, Ing., Ph.D., DIFS (FIT)
Bureš František, Ing., DIFS (FIT)

Abstract

The algebra of Communicating Sequential Processes provides a facility to formal specify systems by describing their behavior. To be able do denote these systems more precisely it is useful to introduce state variables. Because the CSP algebra deals with concurrent processes, the state variables are shared between those processes. This contribution describes techniques how to represent shared variables in CSP utilizing common features of CSP without any extension to the algebra.

Keywords

CSP, process, concurrency, variable, shared variable, critical section, formal specification, communication channel

Published

2004

Pages

690–695

Journal

WSEAS Transactions on Computers, vol. 2004, no. 3, ISSN 1109-2750

BibTeX

@article{BUT45717,
  author="František {Ščuglík} and František {Bureš}",
  title="Shared variables in CSP",
  journal="WSEAS Transactions on Computers",
  year="2004",
  volume="2004",
  number="3",
  pages="690--695",
  issn="1109-2750"
}

Projects

Embedded Control Systems and their Inter-Communication, GACR, Standardní projekty, GA102/02/1032, start: 2002-01-01, end: 2004-12-31, completed

Research groups

Information and Database Systems Research Group (RG IS)

Departments

Department of Information Systems (DIFS)
Faculty of Information Technology (FIT)