Bisimulation for Higher-Order Pi-calculus
No abstract available.
Related papers
- Environmental bisimulations for probabilistic higher-order languages POPL 2016
- Environmental Bisimulations for Probabilistic Higher-order Languages TOPLAS 2019
- Environmental bisimulations for higher-order languages TOPLAS 2011
- Small bisimulations for reasoning about higher-order imperative programs POPL 2006
- CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda TErms POPL 1994
- On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi ESOP 2014
- Linearity and the pi-calculus TOPLAS 1999
- On coinductive equivalences for higher-order probabilistic functional programs POPL 2014