default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID27th MFPS 2011: Pittsburgh, PA, USA
- Michael W. Mislove, Joël Ouaknine:
Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, MFPS 2011, Pittsburgh, PA, USA, May 25-28, 2011. Electronic Notes in Theoretical Computer Science 276, Elsevier 2011 - Michael W. Mislove, Joël Ouaknine:
Preface. 1-3 - Stephen Brookes:
A Revisionist History of Concurrent Separation Logic. 5-28 - Ferdinanda Camporesi, Jérôme Feret:
Formal Reduction for Rule-based Models. 29-59 - Michael Carl Tschantz, Dilsun Kirli Kaynar, Anupam Datta:
Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract). 61-79 - Faris Abou-Saleh, Dirk Pattinson:
Towards Effects in Mathematical Operational Semantics. 81-104 - Ingo Battenfeld, Matthias Schröder
:
Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions. 105-119 - Alexandre Buisse, Lars Birkedal, Kristian Støvring:
Step-Indexed Kripke Model of Separation Logic for Storable Locks. 121-143 - Tanner Crowder:
A Quantum Representation for Involution Groups. 145-158 - Zoltán Ésik:
Multi-Linear Iterative K-Σ-Semialgebras. 159-170 - Alexey Gotsman, Josh Berdine, Byron Cook:
Precision and the Conjunction Rule in Concurrent Separation Logic. 171-190 - Jean-Baptiste Jeannin:
Capsules and Closures. 191-213 - Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii:
From Applicative to Environmental Bisimulation. 215-235 - Dexter Kozen:
Realization of Coinductive Types. 237-246 - Ramyaa Ramyaa, Daniel Leivant:
Ramified Corecurrence and Logspace. 247-261 - Daniel R. Licata, Robert Harper:
2-Dimensional Directed Type Theory. 263-289 - Alexandra Silva, Ana Sokolova:
Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems. 291-311 - Aaron Joseph Turon, Mitchell Wand:
A Resource Analysis of the π-calculus. 313-334 - Viktor Vafeiadis:
Concurrent Separation Logic and Operational Semantics. 335-351
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
