Detail publikace

Shared variables in CSP

BUREŠ František a ŠČUGLÍK František. Shared variables in CSP. In: Proceedings of the WSEAS International Conferences. Salzburg: World Scientific and Engineering Academy, 2004, s. 5. ISBN 960-8052-95-5.
Název česky
Sdílené proměnné v CSP
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Bureš František, Ing. (UIFS FIT VUT)
Ščuglík František, Ing., Ph.D. (UIFS FIT VUT)
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
5
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, AT
BibTeX 
@INPROCEEDINGS{FITPUB7398,
   author = "Franti\v{s}ek Bure\v{s} and Franti\v{s}ek \v{S}\v{c}ugl\'{i}k",
   title = "Shared variables in CSP",
   pages = 5,
   booktitle = "Proceedings of the WSEAS International Conferences",
   year = 2004,
   location = "Salzburg, AT",
   publisher = "World Scientific and Engineering Academy",
   ISBN = "960-8052-95-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7398"
}
Nahoru