Fully abstract semantics for observably sequential languages (1994)
Cached
Download Links
- [www.ccs.neu.edu]
- [people.cs.uchicago.edu]
- DBLP
Other Repositories/Bibliography
by
Robert Cartwright
,
Robert Cartwright
,
Pierre-louis Curien
,
Pierre-louis Curien
,
Matthias Felleisen
,
Matthias Felleisen
| Venue: | Information and Computation |
| Citations: | 47 - 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 |
