Probabilistic CSP: Preserving the Laws via Restricted Schedulers

TitleProbabilistic CSP: Preserving the Laws via Restricted Schedulers
Publication TypeConference Paper
Year of Publication2012
AuthorsGeorgievska, S, Andova, S
Conference NameMeasurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance - 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings
PublisherSpringer
ISBN Number978-3-642-28539-4
DOI10.1007/978-3-642-28540-0_10
Work Package: 
WP1