Rooted branching bisimulation as a congruence for probabilistic transition systems

Ponencia presentada en el 13 International Workshop on Quantitative Aspects of Programming Languages and Systems. London, United Kingdom, April 11-12, 2015.

Bibliographic Details
Main Authors: Lee, Matías David, de Vink, Erik P.
Format: conferenceObject
Language:eng
Published: 2022
Subjects:
Online Access:http://hdl.handle.net/11086/22149