scientific article; zbMATH DE number 4115933

MaRDI QIDQ4730757zbMATH OpenFDO

Authors Bard Bloom, Albert R. Meyer

Publication date 1989

zbMATH Keywords

Bisimulationcomputability

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

(12)

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

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)