Publication result detail

Formal Specification of Shared Variables Using CSP

ŠČUGLÍK, F.

Original Title

Formal Specification of Shared Variables Using CSP

English Title

Formal Specification of Shared Variables Using CSP

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

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.

English abstract

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.

Keywords

CSP, process, shared variable, verification, critical section

Key words in English

CSP, process, shared variable, verification, critical section

Authors

ŠČUGLÍK, F.

RIV year

2011

Released

24.05.2004

Publisher

IEEE Computer Society

Location

Los Alamitos

ISBN

0-7695-2125-8

Book

Engineering of Computer-Based Systems

Pages from

211

Pages to

216

Pages count

6

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"
}