Journal article

ŠČUGLÍK František and BUREŠ František. Shared variables in CSP. WSEAS Transactions on Computers. Athens: World Scientific and Engineering Academy, 2004, vol. 2004, no. 3, pp. 690-695. ISSN 1109-2750.
Publication language:english
Original title:Shared variables in CSP
Title (cs):Sdílené proměnné v CSP
Journal:WSEAS Transactions on Computers, Vol. 2004, No. 3, Athens, GR
CSP, process, concurrency, variable, shared variable, critical section, formal specification, communication channel
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.
   author = {Franti{\v{s}}ek {\v{S}}{\v{c}}ugl{\'{i}}k and
	Franti{\v{s}}ek Bure{\v{s}}},
   title = {Shared variables in CSP},
   pages = {690--695},
   journal = {WSEAS Transactions on Computers},
   volume = {2004},
   number = {3},
   year = {2004},
   ISSN = {1109-2750},
   language = {english},
   url = {}

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]