Fully abstract semantics for observably sequential languages (1994)

by Robert Cartwright, Robert Cartwright, Pierre-louis Curien, Pierre-louis Curien, Matthias Felleisen, Matthias Felleisen
Venue:Information and Computation