Expected-Delay-Summing Weak Bisimilarity for Markov Automata

Alessandro Aldini
(University of Urbino)
Marco Bernardo
(University of Urbino)

A new weak bisimulation semantics is defined for Markov automata that, in addition to abstracting from internal actions, sums up the expected values of consecutive exponentially distributed delays possibly intertwined with internal actions. The resulting equivalence is shown to be a congruence with respect to parallel composition for Markov automata. Moreover, it turns out to be comparable with weak bisimilarity for timed labeled transition systems, thus constituting a step towards reconciling the semantics for stochastic time and deterministic time.

In Nathalie Bertrand and Mirco Tribastone: Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), London, UK, 11th-12th April 2015, Electronic Proceedings in Theoretical Computer Science 194, pp. 1–15.
Published: 28th September 2015.

ArXived at: https://dx.doi.org/10.4204/EPTCS.194.1 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org