scientific article; zbMATH DE number 4115933

MaRDI QIDQ4730757zbMATH OpenFDO

Authors Bard Bloom, Albert R. Meyer

Publication date 1989

zbMATH Keywords

computabilityBisimulation

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Bisimulation and Simulation Relations for Markov Chains
• Bisimulation through probabilistic testing
• Bisimulations for probabilistic and quantum processes (invited paper)
• Exploring probabilistic bisimulations. I
• Bisimulation for labelled Markov processes

Cited in

(11)

• Experimenting with process equivalence
• scientific article; zbMATH DE number 1512606 (Why is no real title available?)
• Bisimulation through probabilistic testing
• Theoretical Aspects of Computing – ICTAC 2005
• Monoidal streams for dataflow programming
• Algebraic theory of probabilistic and nondeterministic processes.
• Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
• Testing preorders for probabilistic processes
• Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
• Bisimulations for probabilistic and quantum processes (invited paper)
• On the probabilistic bisimulation spectrum with silent moves

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4730757)