Notes on Generative Probabilistic Bisimulation

DOI10.1016/J.ENTCS.2006.09.016zbMath1277.68210OpenAlexW1999675231MaRDI 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

bisimulationcongruenceprocess algebrasweak bisimulationbehavioral equivalencesgenerative probability

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Notes on Generative Probabilistic Bisimulation