Result 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.
Type
conference paper
Language
English
Authors
Bureš František, Ing., DIFS (FIT)
Ščuglík František, Ing., Ph.D., DIFS (FIT)
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.

Keywords

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

Published
2004
Pages
690–694
Proceedings
Proceedings of the WSEAS International Conferences
Conference
3th WSEAS International Conference on SOFTWARE ENGINEERING, PARALLEL & DISTRIBUTED SYSTEMS
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"
}
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)
Back to top