Detail publikačního výsledku

Shared variables in CSP

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

Originální název

Shared variables in CSP

Anglický název

Shared variables in CSP

Druh

Článek recenzovaný mimo WoS a Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

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

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

Rok RIV

2011

Vydáno

26.03.2004

ISSN

1109-2750

Periodikum

WSEAS Transactions on Computers

Svazek

2004

Číslo

3

Stát

Řecká republika

Strany od

690

Strany do

695

Strany počet

6

BibTex

@article{BUT45717,
  author="František {Ščuglík} and František {Bureš}",
  title="Shared variables in CSP",
  journal="WSEAS Transactions on Computers",
  year="2004",
  volume="2004",
  number="3",
  pages="690--695",
  issn="1109-2750"
}