Active Bibliography

1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
2 Bisimilarity for the region calculus – Simon Helsen
Observational Program Calculi and the Correctness of Translations – Manfred Schmidt-schauss, David Sabel, Joachim Niehren, Jan Schwinghammer - 2013
2 On the observational theory of the CPS-calculus ∗ – Massimo Merro
Observational Program Calculi and the Correctness of Translations – unknown authors
99 Access Control based on Execution History – Martin Abadi, Cedric Fournet - 2003
1 Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri - 2009
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri (Hossein) - 2009
27 A Tutorial on Co-induction and Functional Programming – Andrew D. Gordon - 1994
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
18 Beyond stack inspection: A unified access-control and information-flow security model – Marco Pistoia - 2007
9 A Note on Logical Relations Between Semantics and Syntax – Andrew Pitts - 1997
16 From stack inspection to access control: A security analysis for libraries. Long version of this paper, available from http:// research.microsoft.com/˜fournet/pwp – Frédéric Besson, Tomasz Blanc, Inria Rocquencourt, Cédric Fournet, Andrew D. Gordon - 2004
38 A functional correspondence between monadic evaluators and abstract machines for languages with computational effects – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2005
55 Semantics of Types for Mutable State – Amal Jamil Ahmed - 2004
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
20 Relational Reasoning about Contexts – Søren B. Lassen - 1998
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
47 A bisimulation for type abstraction and recursion – Eijiro Sumii, Benjamin C. Pierce - 2005