Volume 249, August 2009

• 
  Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi: Preface. 1-2
• 
  Neil Ghani, Peter Hancock, Dirk Pattinson: Continuous Functions on Final Coalgebras. 3-18
• 
  David A. Schmidt: Abstract Interpretation From a Denotational-semantics Perspective. 19-37
• 
  Claudio Hermida, Robert D. Tennent: Monoidal Indeterminates and Categories of Possible Worlds. 39-60
• 
  Ana Bove: Another Look at Function Domains. 61-74
• 
  Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi: Quantitative Notions of Leakage for One-try Attacks. 75-91
• 
  Klaus Keimel, Jimmie D. Lawson: Extending Algebraic Operations to D-Completions. 93-116
• 
  John Longley: Some Programming Languages Suggested by Game Models (Extended Abstract). 117-134
• 
  Samson Abramsky, Radha Jagadeesan: Game Semantics for Access Control. 135-156
• 
  Andrej Bauer: On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos. 157-167
• 
  Malgorzata Biernacka, Dariusz Biernacki: A Context-based Approach to Proving Termination of Evaluation. 169-192
• 
  Daniel Brown, Riccardo Pucella: Categories of Timed Stochastic Relations. 193-217
• 
  Martín Hötzel Escardó: Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting. 219-242
• 
  David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino: On the Unification of Process Semantics: Equational Semantics. 243-267
• 
  Daniele Gorla: On the Relative Expressive Power of Calculi for Mobility. 269-286
• 
  André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz: Contraction-free Proofs and Finitary Games for Linear Logic. 287-305
• 
  Elham Kashefi, D. K. L. Oi, Dan Browne, Janet Anders, E. Andersson: Twisted Graph States for Ancilla-driven Universal Quantum Computation. 307-331
• 
  Alexander Kurz, Raul Andres Leal: Equational Coalgebraic Logic. 333-356
• 
  Paul Blain Levy, Kidane Yemane Weldemariam: Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity. 357-375
• 
  Paul-André Melliès, Nicolas Tabareau: An Algebraic Account of References in Game Semantics. 377-405
• 
  Jirí Adámek, Stefan Milius, Jiri Velebil: Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract). 407-427
• 
  Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca: Logical Semantics for Stability. 429-449
• 
  Mehrnoosh Sadrzadeh, Roy Dyckhoff: Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information. 451-470
• 
  Sam Staton: Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names. 471-490

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