Electronic Notes in Theoretical Computer Science, Volume 45

Volume 45, 2001

• Stephen D. Brookes, Michael W. Mislove:
  Preface.
  
• Andrej Bauer:
  A Relationship between Equilogical Spaces and Type Two Effectivity.
  
• Stephen D. Brookes:
  Transfer Principles for Reasoning About Concurrent Programs.
  
• Patrick Cousot, Radhia Cousot:
  A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination.
  
• Daniel Damian:
  Time Stamps for Fixed-Point Approximation.
  
• Lei Fan:
  A New Approach to Quantitative Domain Theory.
  
• Fabio Gadducci, Ugo Montanari:
  A Concurrent Graph Semantics for Mobile Ambients.
  
• Dan R. Ghica:
  Regular-Language Semantics for a Call-by-Value Programming Language.
  
• Andrew D. Gordon, Alan Jeffrey:
  Typing Correspondence Assertions for Communication Protocols.
  
• Joshua D. Guttman:
  Key Compromise, Strand Spaces, and the Authentication Tests.
  
• John Hannan:
  On Extracting Static Semantics.
  
• Michael Huth, Shekhar Pradhan:
  Model-Checking View-Based Partial Specifications.
  
• Martin Hyland, John Power:
  Pseudo-commutative Monads.
  
• Achim Jung, Mathias Kegelmann, M. Andrew Moshier:
  Stably Compact Spaces and Closed Relations.
  
• James Laird:
  A Game Semantics of Idealized CSP.
  
• Keye Martin:
  Unique Fixed Points in Domain Theory.
  
• Annabelle McIver:
  A Generalisation of Stationary Distributions, and Probabilistic Program Algebra.
  
• John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague:
  A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report).
  
• Lasse R. Nielsen:
  A Selective CPS Transformation.
  
• Gordon D. Plotkin, John Power:
  Semantics for Algebraic Operations.
  
• John Power, Konstantinos Tourlas:
  An Algebraic Foundation for Graph-based Diagrams in Computing.
  
• Jan J. M. M. Rutten:
  Elements of Stream Calculus (An Extensive Exercise in Coinduction).
  
• Peter Sestoft:
  Demonstrating Lambda Calculus Reduction.
  
• Hayo Thielecke:
  Comparing Control Constructs by Double-barrelled {CPS} Transforms.
  
• Pawel Waszkiewicz:
  Distance and Measurement in Domain Theory.