Open Bisimulation for the Concurrent Constraint Pi-Calculus
No abstract available.
Related papers
- A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract APLAS 2007
- A bisimulation for dynamic sealing POPL 2004
- On Quasi-Open Bisimulation APLAS 2002
- Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques APLAS 2015
- Bisimulation Can't Be Traced POPL 1988
- A Concurrent Calculus with Atomic Transactions ESOP 2007
- Bisimulation for Higher-Order Pi-calculus APLAS 2002
- A Sound and Complete Bisimulation for Contextual Equivalence in \lambda -Calculus with Call/cc APLAS 2016