Similar Items: Full abstraction for fair testing in CCS (expanded version)
- An intensionally fully-abstract sheaf model for $pi$ (expanded version)
- Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion
- Full abstraction for nominal general references
- Modules over monads and operational semantics (expanded version)
- A Truly Concurrent Semantics for Reversible CCS
- Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators