Detail publikace

Shared variables in CSP

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

Originální název

Shared variables in CSP

Anglický název

Shared variables in CSP

Jazyk

en

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.

Dokumenty

BibTex 


@inproceedings{BUT16905,
  author="František {Bureš} and František {Ščuglík}",
  title="Shared variables in CSP",
  annote="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.",
  address="World Scientific and Engineering Academy",
  booktitle="Proceedings of the WSEAS International Conferences",
  chapter="16905",
  institution="World Scientific and Engineering Academy",
  year="2004",
  month="february",
  pages="690",
  publisher="World Scientific and Engineering Academy",
  type="conference paper"
}