Notes on Generative Probabilistic Bisimulation

DOI10.1016/j.entcs.2006.09.016zbMath1277.68210MaRDI QIDQ2866317

Simone Tini

Publication date: 13 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.09.016

zbMATH Keywords

bisimulation; congruence; process algebras; weak bisimulation; behavioral equivalences; generative probability

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Cites Work

• On cool congruence formats for weak bisimulations
• Structural operational semantics for weak bisimulations
• Bisimulation through probabilistic testing
• Discrete time generative-reactive probabilistic processes with different advancing speeds
• A structural approach to operational semantics
• Reactive, generative, and stratified models of probabilistic processes
• Axiomatizing probabilistic processes: ACP with generative probabilities
• Rooted branching bisimulation as a congruence
• Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation
• Process Algebra
• Testing preorders for probabilistic processes
• Foundations of Software Science and Computational Structures
• Foundations of Software Science and Computational Structures
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item