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 ajeho vlastnosti prostřednictvím popisování chování takového systému. Ktomuto účelu disponuje lokálními proměnnými, které však nejsouviditelné 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í jazykaCSP.

Rok
2004
Strany
690–694
Sborník
Proceedings of the WSEAS International Conferences
Konference
3th WSEAS International Conference on SOFTWARE ENGINEERING, PARALLEL & DISTRIBUTED SYSTEMS, Salzburg, AT
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