Volume 172, April 2007

• 
  Luca Cardelli, Marcelo P. Fiore, Glynn Winskel: Preface. 1-4
• 
  Martín Abadi: Access Control in a Core Calculus of Dependency. 5-31
• 
  Samson Abramsky: Event Domains, Stable Functions and Proof-Nets. 33-67
• 
  Ingo Battenfeld, Matthias Schröder, Alex Simpson: A Convenient Category of Domains. 69-99
• 
  Richard Blute, Prakash Panangaden, Dorette Pronk: Conformal Field Theory as a Nuclear Functor. 101-132
• 
  Cristiano Calcagno, Philippa Gardner, Uri Zarfaty: Local Reasoning about Data Update. 133-175
• 
  Luca Cardelli, Philippa Gardner, Giorgio Ghelli: Manipulating Trees with Hidden Labels. 177-201
• 
  Gian Luca Cattani, Marcelo P. Fiore: The Bicategory-Theoretic Solution of Recursive Domain Equations. 203-222
• 
  Ranald A. Clouston, Andrew M. Pitts: Nominal Equational Logic. 223-257
• 
  Karl Crary, Robert Harper: Syntactic Logical Relations for Polymorphic and Recursive Types. 259-299
• 
  Pierre-Louis Curien: Definability and Full Abstraction. 301-310
• 
  Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy: Protocol Composition Logic (PCL). 311-358
• 
  Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang: Remarks on Testing Probabilistic Processes. 359-397
• 
  Furio Honsell, Marina Lenisa, Luigi Liquori: A Framework for Defining Logical Frameworks. 399-436
• 
  Martin Hyland, John Power: The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads. 437-458
• 
  Michael W. Mislove, Dusko Pavlovic, James Worrell: Labelled Markov Processes as Generalised Stochastic Relations. 459-478
• 
  Eugenio Moggi: Structuring Operational Semantics: Simplification and Computation. 479-497
• 
  Mogens Nielsen, Karl Krukow, Vladimiro Sassone: A Bayesian Model for Event-based Trust. 499-521
• 
  Flemming Nielson, Hanne Riis Nielson: Heuristics for Safety and Security Constraints. 523-543
• 
  David J. Pym, Chris M. N. Tofts: Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic. 545-587
• 
  Colin Stirling: Model-Checking Games for Typed lambda-Calculi. 589-609
• 
  Glynn Winskel: Event Structures with Symmetry. 611-652

last updated on Tue May 21 02:55:05 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page