{SOS} rule formats for convex and abstract probabilistic bisimulations
| Title | {SOS} rule formats for convex and abstract probabilistic bisimulations |
| Publication Type | Book Chapter |
| Year of Publication | 2015 |
| Authors | D'Argenio, PR, Lee, MD, Gebler, D |
| Editor | Crafa, S, Gebler, D |
| Book Title | Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, {EXPRESS/SOS} 2015, Madrid, Spain, 31st August 2015. |
| Series Title | {EPTCS} |
| Volume | 190 |
| Pagination | 31–45 |
| DOI | 10.4204/EPTCS.190.3 |
Work Package:
WP1
