Detail publikace

Formal Specification of Shared Variables Using CSP

ŠČUGLÍK, F.

Originální název

Formal Specification of Shared Variables Using CSP

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

CSP, process, shared variable, verification, critical section

Autoři

ŠČUGLÍK, F.

Rok RIV

2004

Vydáno

24. 5. 2004

Nakladatel

IEEE Computer Society

Místo

Los Alamitos

ISBN

0-7695-2125-8

Kniha

Engineering of Computer-Based Systems

Strany od

211

Strany do

216

Strany počet

6

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