Shared variables in CSP

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

Result language
angličtina
Original language name
Shared variables in 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
Sdílené proměnné v CSP
Czech description
Jazyk Komunikujících sekvenčních procesů umožňuje specifikovat systém a jeho vlastnosti prostřednictvím popisování chování takového systému. K tomuto účelu disponuje lokálními proměnnými, které však nejsou viditelné z jiných procesů. Tento příspěvek ze zabývá možností rozšíření proměnných o sdílení s využitím stávajících možností jazyka CSP.

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
JC - Computer hardware and software
OECD FORD branch
—

Project
<a href="/en/project/GA102%2F02%2F1032" target="_blank" >GA102/02/1032: Embedded control systems and their inter-communication</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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)