Electronic Notes in Theoretical Computer Science, Volume 276
Volume 276, September 2011
- Stephen Brookes: A Revisionist History of Concurrent Separation Logic. 5-28
- Michael Carl Tschantz, Dilsun Kirli Kaynar, Anupam Datta: Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract). 61-79
- 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
- Alexandra Silva, Ana Sokolova: Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems. 291-311
- Viktor Vafeiadis: Concurrent Separation Logic and Operational Semantics. 335-351
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team