Towards a General Theory of Barbs, Contexts and Labels
Abstract elided by the publisher.
Related papers
- Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers POPL 2024
- A bisimulation-based semantic theory of Safe Ambients TOPLAS 2006
- Better late than never: a fully-abstract semantics for classical processes POPL 2019
- A Typed Language for Distributed Mobile Processes (Extended Abstract) POPL 1998
- Bisimulation congruences in safe ambients POPL 2002
- A theory of aspects ICFP 2003
- Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction ICFP 1996
- Linearity and the pi-calculus TOPLAS 1999