Detail publikace

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.
Název česky
Sdílené proměnné v CSP
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Bureš František, Ing.
Ščuglík František, Ing., Ph.D. (CK-SZZ)
Klíčová slova

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

Abstrakt

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.

Rok
2004
Strany
690–694
Sborník
Proceedings of the WSEAS International Conferences
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"
}
Nahoru