Decidability of Bisimulation Equivalences for Parallel Timer Processes
No abstract available.
Related papers
- Reachability Analysis of the Domain Name System POPL 2025
- Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes TACAS 1999
- Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) CAV 2019
- Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes VMCAI 2014
- System Fμ ømega with Context-free Session Types ESOP 2023
- Verifying Quantum Communication Protocols with Ground Bisimulation TACAS 2020
- A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract APLAS 2007
- Bisimulation Through Probabilistic Testing POPL 1989