Publication detail

Shared variables in CSP

ŠČUGLÍK, F. BUREŠ, F.

Original Title

Shared variables in CSP

Type

journal article - other

Language

English

Original 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

Authors

ŠČUGLÍK, F.; BUREŠ, F.

RIV year

2004

Released

26. 3. 2004

ISBN

1109-2750

Periodical

WSEAS Transactions on Computers

Year of study

2004

Number

3

State

Hellenic Republic

Pages from

690

Pages to

695

Pages count

6

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"
}