Formal Specification of Shared Variables Using CSP

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F04%3APU49162" target="_blank" >RIV/00216305:26230/04:PU49162 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Formal Specification of Shared Variables Using CSP
Original language description
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 withconcurrent 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.
Czech name
Formální specifikace sdílených promenných s využitím CSP
Czech description
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ěkolikaprocesy. 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í.

Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)