Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation
| Title | Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | D'Argenio, PR, Lee, MD |
| Conference Name | Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012 |
| Publisher | Springer |
| DOI | 10.1007/978-3-642-28729-9_30 |
Work Package:
WP1
