Full Abstraction for a Simple Parallel Programming Language (1979)

by M. C. B. Hennessy , G. D. Plotkin
Venue:LNCS
Citations:90 - 16 self

Active Bibliography

4 A Filter Model for Concurrent λ-Calculus – Mariangiola Dezani-ciancaglini, Ugo de'Liguoro, Adolfo Piperno - 1998
222 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
1 Degrees of Parallelism – Bernd Lichtenthäler, D Siegen - 1996
Sequential Languages – Robert Cartwright, Pierre-louis Curien, Matthias Felleisen
PCF Definability via Kripke Logical Relations (after O'Hearn and Riecke) – Ugo de'Liguoro - 1996
The sigma-Semantics: A Comprehensive Semantics for Functional Programs – Olaf Chitil - 1997
SPCF: Its Model, Calculus, and Computational Power (Preliminary Version) – Ramarao Kanneganti, Robert Cartwright, Robert Cartwright, Matthias Felleisen, Matthias Felleisen - 1992
Faithful Ideal Models for RecursivePolymorphic Types – Mart'in Abadi Benjamin, Benjamin Pierce, Gordon Plotkin - 1991
1 The Discriminating Power of Multiplicities in the Lambda-Calculus – Gérard Boudol, Cosimo Laneve - 1996
4 A First Order Logic of Effects – Ian A. Mason - 1996
1 A Syntactic Method for Proving Observational Equivalences – Martin Odersky, Martin Odersky - 1993
1 Observable Semantics and Dynamic Analysis of Computational Processes – Salvador Lucas - 2000
5 Behavioural Theories – M. Bidoit, R. Hennicker - 1995
1 Modal Logic and Algebraic Specifications – Lawrence S. Moss, Satish R. Thatte - 1993
1 lambda-Calculus, Multiplicities and the pi-Calculus – Gérard Boudol, Cosimo Laneve, Cosimo Laneve - 1995
4 Note on Algol and Conservatively Extending Functional Programming – Peter O'Hearn - 1995
4 The Coverage of Operational Semantics – Scott F. Smith - 1998
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
15 Proving Behavioural Theorems with Standard First-Order Logic – Michel Bidoit, Rolf Hennicker - 1994