Result Details

Formal Specification of Shared Variables Using CSP

ŠČUGLÍK, F. Formal Specification of Shared Variables Using CSP. Engineering of Computer-Based Systems. Los Alamitos: IEEE Computer Society, 2004. p. 211-216. ISBN: 0-7695-2125-8.
Type
conference paper
Language
English
Authors
Ščuglík František, Ing., Ph.D., DIFS (FIT)
Abstract

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.

Keywords

CSP, process, shared variable, verification, critical section

Published
2004
Pages
211–216
Proceedings
Engineering of Computer-Based Systems
Conference
Eleventh IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems
ISBN
0-7695-2125-8
Publisher
IEEE Computer Society
Place
Los Alamitos
BibTeX 
@inproceedings{BUT17143,
  author="František {Ščuglík}",
  title="Formal Specification of Shared Variables Using CSP",
  booktitle="Engineering of Computer-Based Systems",
  year="2004",
  pages="211--216",
  publisher="IEEE Computer Society",
  address="Los Alamitos",
  isbn="0-7695-2125-8"
}
Research groups
NES@FIT - Networks and distributed systems research group (RG NES@FIT)
Departments
Department of Information Systems (DIFS)
Back to top