Publication Details

Shared variables in CSP

BUREŠ, F.; ŠČUGLÍK, F. Shared variables in CSP. Proceedings of the WSEAS International Conferences. Salzburg: World Scientific and Engineering Academy, 2004. p. 690-694. ISBN: 960-8052-95-5.
Czech title
Sdílené proměnné v CSP
Type
conference paper
Language
English
Authors
Bureš František, Ing.
Ščuglík František, Ing., Ph.D. (CM-SFE)
Keywords

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

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.

Published
2004
Pages
690–694
Proceedings
Proceedings of the WSEAS International Conferences
Conference
3th WSEAS International Conference on SOFTWARE ENGINEERING, PARALLEL & DISTRIBUTED SYSTEMS, Salzburg, AT
ISBN
960-8052-95-5
Publisher
World Scientific and Engineering Academy
Place
Salzburg
BibTeX 
@inproceedings{BUT16905,
  author="František {Bureš} and František {Ščuglík}",
  title="Shared variables in CSP",
  booktitle="Proceedings of the WSEAS International Conferences",
  year="2004",
  pages="690--694",
  publisher="World Scientific and Engineering Academy",
  address="Salzburg",
  isbn="960-8052-95-5"
}
Back to top