Detail výsledku

Shared variables in CSP

BUREŠ, F.; ŠČUGLÍK, F. Shared variables in CSP. Proceedings of the WSEAS International Conferences. Salzburg: World Scientific and Engineering Academy, 2004. p. 690-694. ISBN: 960-8052-95-5.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Bureš František, Ing., UIFS (FIT)
Ščuglík František, Ing., Ph.D., UIFS (FIT)
Abstrakt

The algebra of Communicating Sequential Processesprovides a facility to formal specify systems by describing theirbehavior. To be able do denote these systems more precisely it isuseful to introduce state variables. Because the CSP algebra deals withconcurrent processes, the state variables are shared between thoseprocesses. This contribution describes techniques how to representshared variables in CSP utilizing common features of CSP without anyextension to the algebra.

Klíčová slova

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

Rok
2004
Strany
690–694
Sborník
Proceedings of the WSEAS International Conferences
Konference
3th WSEAS International Conference on SOFTWARE ENGINEERING, PARALLEL & DISTRIBUTED SYSTEMS
ISBN
960-8052-95-5
Vydavatel
World Scientific and Engineering Academy
Místo
Salzburg
BibTeX 
@inproceedings{BUT16905,
  author="František {Bureš} and František {Ščuglík}",
  title="Shared variables in CSP",
  booktitle="Proceedings of the WSEAS International Conferences",
  year="2004",
  pages="690--694",
  publisher="World Scientific and Engineering Academy",
  address="Salzburg",
  isbn="960-8052-95-5"
}
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