A logical characterization of bisimulation for labeled Markov processes
- 27 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 478-487
- https://doi.org/10.1109/lics.1998.705681
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- On automatically explaining bisimulation inequivalencePublished by Springer Nature ,2005
- Equivalences, congruences, and complete axiomatizations for probabilistic processesPublished by Springer Nature ,2005
- Specification and refinement of probabilistic processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Bisimulation for labelled Markov processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Compositional testing preorders for probabilistic processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Semi-pullbacks and bisimulation in categories of Markov processesMathematical Structures in Computer Science, 1999
- Bisimulation for probabilistic transition systems: A coalgebraic approachPublished by Springer Nature ,1997
- A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systemsTheoretical Computer Science, 1995
- Testing preorders for probabilistic processesPublished by Springer Nature ,1992
- An Invitation to C*-AlgebrasPublished by Springer Nature ,1976