Detail publikace
Shared variables in CSP
ŠČUGLÍK František a BUREŠ František. Shared variables in CSP. WSEAS Transactions on Computers, roč. 2004, č. 3, s. 690-695. ISSN 1109-2750.
Název česky
Sdílené proměnné v CSP
Typ
článek v časopise
Jazyk
angličtina
Autoři
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
Vydavatel
World Scientific and Engineering Academy
BibTeX
@ARTICLE{FITPUB7407, author = "Franti\v{s}ek \v{S}\v{c}ugl\'{i}k and Franti\v{s}ek Bure\v{s}", title = "Shared variables in CSP", pages = "690--695", journal = "WSEAS Transactions on Computers", volume = 2004, number = 3, year = 2004, ISSN = "1109-2750", language = "english", url = "https://www.fit.vut.cz/research/publication/7407" }