Publication result detail

Shared variables in CSP

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

Original Title

Shared variables in CSP

English Title

Shared variables in CSP

Type

Paper in proceedings outside WoS and Scopus

Original 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.

English 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

Key words in English

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

Authors

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

RIV year

2011

Released

13.02.2004

Publisher

World Scientific and Engineering Academy

Location

Salzburg

ISBN

960-8052-95-5

Book

Proceedings of the WSEAS International Conferences

Pages from

690

Pages to

694

Pages count

5

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