Formal Specification of Shared Variables Using CSP
The result's identifiers
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
—
Alternative languages
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í.
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Engineering of Computer-Based Systems
ISBN
0-7695-2125-8
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
211-216
Publisher name
IEEE Computer Society
Place of publication
Los Alamitos
Event location
Brno
Event date
May 23, 2004
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—