Volume 276, September 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

last updated on Thu May 23 04:11:06 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page