Electronic Notes in Theoretical Computer Science, Volume 45

Volume 45, 2001

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