Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Ščuglík František, Ing., Ph.D., FIT (FIT), UIFS (FIT)
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

Rok
2004
Strany
211–216
Sborník
Engineering of Computer-Based Systems
Konference
Eleventh IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems
ISBN
0-7695-2125-8
Vydavatel
IEEE Computer Society
Místo
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"
}
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru