Conference paper

BUREŠ František and ŠČUGLÍK František. Shared variables in CSP. In: Proceedings of the WSEAS International Conferences. Salzburg: World Scientific and Engineering Academy, 2004, p. 5. ISBN 960-8052-95-5.
Publication language:english
Original title:Shared variables in CSP
Title (cs):Sdílené proměnné v CSP
Pages:5
Proceedings:Proceedings of the WSEAS International Conferences
Conference:3th WSEAS International Conference on SOFTWARE ENGINEERING, PARALLEL & DISTRIBUTED SYSTEMS
Place:Salzburg, AT
Year:2004
ISBN:960-8052-95-5
Publisher:World Scientific and Engineering Academy
Keywords
CSP, process, concurrency, variable, shared variable, critical section, formal specification, communication channel
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Franti{\v{s}}ek Bure{\v{s}} and Franti{\v{s}}ek
	{\v{S}}{\v{c}}ugl{\'{i}}k},
   title = {Shared variables in CSP},
   pages = {5},
   booktitle = {Proceedings of the WSEAS International Conferences},
   year = {2004},
   location = {Salzburg, AT},
   publisher = {World Scientific and Engineering Academy},
   ISBN = {960-8052-95-5},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7398}
}

Your IPv4 address: 54.221.73.186
Switch to IPv6 connection

DNSSEC [dnssec]