Conference paper

ŠČUGLÍK František. Formal Specification of Shared Variables Using CSP. In: Engineering of Computer-Based Systems. Los Alamitos: IEEE Computer Society, 2004, pp. 211-216. ISBN 0-7695-2125-8.
Publication language:english
Original title:Formal Specification of Shared Variables Using CSP
Title (cs):Formální specifikace sdílených promenných s využitím CSP
Pages:211-216
Proceedings:Engineering of Computer-Based Systems
Conference:Eleventh IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems
Place:Los Alamitos, CA
Year:2004
ISBN:0-7695-2125-8
Publisher:IEEE Computer Society
Keywords
CSP, process, shared variable, verification, critical section
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 {\v{S}}{\v{c}}ugl{\'{i}}k},
   title = {Formal Specification of Shared Variables Using CSP},
   pages = {211--216},
   booktitle = {Engineering of Computer-Based Systems},
   year = {2004},
   location = {Los Alamitos, CA},
   publisher = {IEEE Computer Society},
   ISBN = {0-7695-2125-8},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7497}
}

Your IPv4 address: 54.163.210.170
Switch to IPv6 connection

DNSSEC [dnssec]