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
Citations:49 - 4 self