Fully abstract semantics for observably sequential languages
From MaRDI portal
Publication:1327401
DOI10.1006/inco.1994.1047zbMath0806.68072MaRDI QIDQ1327401
Pierre-Louis Curien, Matthias Felleisen, Robert Cartwright
Publication date: 19 June 1994
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1994.1047
Related Items
Symmetry and Interactivity in Programming, Concrete data structures and functional parallel programming, Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin, Parallel and serial hypercoherences, The sequentially realizable functionals, A relative PCF-definability result for strongly stable functions and some corollaries, Games and full abstraction for FPC., Comparing hierarchies of types in models of linear logic, A stable programming language, Locally Boolean domains, Non-uniform (hyper/multi)coherence spaces, Nondeterminism and Observable Sequentiality