Detail výsledku

Shared variables in CSP

ŠČUGLÍK, F.; BUREŠ, F. Shared variables in CSP. WSEAS Transactions on Computers, 2004, vol. 2004, no. 3, p. 690-695. ISSN: 1109-2750.
Typ
článek v časopise
Jazyk
angličtina
Autoři
Ščuglík František, Ing., Ph.D., FIT (FIT), UIFS (FIT)
Bureš František, Ing., FIT (FIT), UIFS (FIT)
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.

Klíčová slova

CSP, process, concurrency, variable, shared variable, critical section, formal specification, communication channel

Rok
2004
Strany
690–695
Časopis
WSEAS Transactions on Computers, roč. 2004, č. 3, ISSN 1109-2750
BibTeX 
@article{BUT45717,
  author="František {Ščuglík} and František {Bureš}",
  title="Shared variables in CSP",
  journal="WSEAS Transactions on Computers",
  year="2004",
  volume="2004",
  number="3",
  pages="690--695",
  issn="1109-2750"
}
Projekty
Vestavěné řídicí systémy a jejich vzájemná komunikace, GAČR, Standardní projekty, GA102/02/1032, zahájení: 2002-01-01, ukončení: 2004-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina informačních a databázových systémů (VZ IS)
Pracoviště
Fakulta informačních technologií (FIT)
Ústav informačních systémů (UIFS)
Nahoru