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

Document Versions

Fully abstract semantics for observably sequential languages –Robert Cartwright, Robert Cartwright, Pierre-louis Curien, Pierre-louis Curien, Matthias Felleisen, Matthias Felleisen — 1994 — Information and Computation
Fully abstract semantics for observably sequential languages –Robert Cartwright, Robert Cartwright, Pierre-louis Curien, Pierre-louis Curien, Matthias Felleisen, Matthias Felleisen — 1994 — Information and Computation