loading...
Formal Specification of Shared Variables Using CSP
Brno, Czech Republic May 24-May 27
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ECBS.2004.131670111th IEEE International Conference an ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Frantisek Scuglik, "Formal Specification of Shared Variables Using CSP," Engineering of Computer-Based Systems, IEEE International Conference on the, pp. 211, 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/ECBS.2004.1316701,
author = {Frantisek Scuglik},
title = {Formal Specification of Shared Variables Using CSP},
journal ={Engineering of Computer-Based Systems, IEEE International Conference on the},
volume = {0},
year = {2004},
isbn = {0-7695-2125-8},
pages = {211},
doi = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2004.1316701},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Engineering of Computer-Based Systems, IEEE International Conference on the
TI - Formal Specification of Shared Variables Using CSP
SN - 0-7695-2125-8
SP
EP
A1 - Frantisek Scuglik,
PY - 2004
KW - null
VL - 0
JA - Engineering of Computer-Based Systems, IEEE International Conference on the
ER -
 
Frantisek Scuglik, Brno University of Technology, Czech Republic
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.
Citation:
Frantisek Scuglik, "Formal Specification of Shared Variables Using CSP," ecbs, pp.211, 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.