Similar Items: Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators
- Full abstraction for nominal general references
- Full abstraction for fair testing in CCS (expanded version)
- A robust graph-based approach to observational equivalence
- Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion
- Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
- Behavioural equivalences for timed systems