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"
}
Nahoru