Detail publikace
Formal Specification of Shared Variables Using CSP
ŠČUGLÍK, F.
Originální název
Formal Specification of Shared Variables Using CSP
Anglický název
Formal Specification of Shared Variables Using CSP
Jazyk
en
Originální 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.
Anglický 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.
Dokumenty
BibTex
@inproceedings{BUT17143,
author="František {Ščuglík}",
title="Formal Specification of Shared Variables Using CSP",
annote="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.",
address="IEEE Computer Society",
booktitle="Engineering of Computer-Based Systems",
chapter="17143",
institution="IEEE Computer Society",
year="2004",
month="may",
pages="211--216",
publisher="IEEE Computer Society",
type="conference paper"
}