Detail publikace

Formal Specification of Shared Variables Using CSP

ŠČUGLÍK František. Formal Specification of Shared Variables Using CSP. In: Engineering of Computer-Based Systems. Los Alamitos: IEEE Computer Society, 2004, s. 211-216. ISBN 0-7695-2125-8.
Název česky
Formální specifikace sdílených promenných s využitím CSP
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Ščuglík František, Ing., Ph.D. (UIFS FIT VUT)
Abstrakt

Algebra komunikujících sekvenčních procesů poskytuje možnost pro formální specifikaci systémů prostřednictvím popisování jejich chování. Pro dosáhnutí detailnější specifikace chování je vhodné zavést stavové proměnné. Tyto proměnné jsou sdíleny několika procesy. Tento článek se zabývá technikou jak reprezentovat sdílené proměnné v CSP s využitím stávajících vlastností CSP, bez nutnosti rozžiřování.

Rok
2004
Strany
211-216
Sborník
Engineering of Computer-Based Systems
Konference
Eleventh IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems, Brno, CZ
ISBN
0-7695-2125-8
Vydavatel
IEEE Computer Society
Místo
Los Alamitos, CA
BibTeX 
@INPROCEEDINGS{FITPUB7497,
   author = "Franti\v{s}ek \v{S}\v{c}ugl\'{i}k",
   title = "Formal Specification of Shared Variables Using CSP",
   pages = "211--216",
   booktitle = "Engineering of Computer-Based Systems",
   year = 2004,
   location = "Los Alamitos, CA",
   publisher = "IEEE Computer Society",
   ISBN = "0-7695-2125-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7497"
}
Nahoru