Detail publikačního výsledku

Shared variables in CSP

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

Originální název

Shared variables in CSP

Anglický název

Shared variables in CSP

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

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

Klíčová slova v angličtině

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

Autoři

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

Rok RIV

2011

Vydáno

13.02.2004

Nakladatel

World Scientific and Engineering Academy

Místo

Salzburg

ISBN

960-8052-95-5

Kniha

Proceedings of the WSEAS International Conferences

Strany od

690

Strany do

694

Strany počet

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