Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes
Abstract elided by the publisher.
Related papers
- Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes VMCAI 2014
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities TACAS 2020
- A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract APLAS 2007
- Verifying Quantum Communication Protocols with Ground Bisimulation TACAS 2020
- Checking NFA equivalence with bisimulations up to congruence POPL 2013
- Bisimulation congruences in safe ambients POPL 2002
- An Operational Framework for Value-Passing Processes POPL 1994
- Environmental bisimulations for higher-order languages TOPLAS 2011