Publication Details

Formal Specification of Shared Variables Using CSP

ŠČUGLÍK, F. Formal Specification of Shared Variables Using CSP. In Engineering of Computer-Based Systems. Los Alamitos: IEEE Computer Society, 2004. p. 211-216. ISBN: 0-7695-2125-8.

Czech title

Formální specifikace sdílených promenných s využitím CSP

Type

conference paper

Language

English

Authors

Ščuglík František, Ing., Ph.D. (CM-SFE)

Keywords

CSP, process, shared variable, verification, critical section

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.

Published

2004

Pages

211–216

Proceedings

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"
}