Probabilistic CSP: Preserving the Laws via Restricted Schedulers
| Title | Probabilistic CSP: Preserving the Laws via Restricted Schedulers |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Georgievska, S, Andova, S |
| Conference Name | Measurement, 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 |
| Publisher | Springer |
| ISBN Number | 978-3-642-28539-4 |
| DOI | 10.1007/978-3-642-28540-0_10 |
Work Package:
WP1
