Electronic Notes in Theoretical Computer Science, Volume 249

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
  
• E. Kashefi, D. K. L. Oi, D. Browne, J. 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