Electronic Notes in Theoretical Computer Science, Volume 172

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