Detail publikace

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.
Název česky
Sdílené proměnné v CSP
Typ
článek v časopise
Jazyk
anglicky
Autoři
Ščuglík František, Ing., Ph.D. (CK-SZZ)
Bureš František, Ing.
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–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"
}
Nahoru