Bisimulation for probabilistic transition systems: A coalgebraic approach

This publication has 11 references indexed in Scilit:

• A final coalgebra theorem
  Published by Springer Nature ,2005
• A probabilistic powerdomain of evaluations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Domain theory and integration
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Bisimulation for labelled Markov processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Reactive, Generative, and Stratified Models of Probabilistic Processes
  Information and Computation, 1995
• Hybrid automata with finite bisimulations
  Published by Springer Nature ,1995
• Terminal coalgebras in well-founded set theory
  Theoretical Computer Science, 1993
• On the foundations of final semantics: Non-standard sets, metric spaces, partial orders
  Published by Springer Nature ,1993
• Bisimulation through probabilistic testing
  Information and Computation, 1991
• Solving reflexive domain equations in a category of complete metric spaces
  Journal of Computer and System Sciences, 1989