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 Processesprovides a facility to formal specify systems by describing theirbehavior. To be able do denote these systems more precisely it isuseful to introduce state variables. Because the CSP algebra deals withconcurrent processes, the state variables are shared between thoseprocesses. This contribution describes techniques how to representshared variables in CSP utilizing common features of CSP without anyextension 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"
}