Detail publikace

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.
Název česky
Formální specifikace sdílených promenných s využitím CSP
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Ščuglík František, Ing., Ph.D. (CK-SZZ)
Klíčová slova

CSP, process, shared variable, verification, critical section

Abstrakt

Algebra komunikujících sekvenčních procesů poskytuje možnost pro formální specifikaci systémů prostřednictvím popisování jejich chování. Pro dosáhnutí detailnější specifikace chování je vhodné zavést stavové proměnné. Tyto proměnné jsou sdíleny několika procesy. Tento článek se zabývá technikou jak reprezentovat sdílené proměnné v CSP s využitím stávajících vlastností CSP, bez nutnosti rozžiřování.

Rok
2004
Strany
211–216
Sborník
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"
}
Nahoru