Volume 45, 2001
MFPS 2001:
Seventeenth Conference on the Mathematical Foundations of Programming Semantics
Aarhus, Denmark May 23 - 26, 2001
Andrej Bauer:
A Relationship between Equilogical Spaces and Type Two Effectivity.
1-21
Patrick Cousot,
Radhia Cousot:
A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination.
41-64
Lei Fan:
A New Approach to Quantitative Domain Theory.
77-87
Dan R. Ghica:
Regular-Language Semantics for a Call-by-Value Programming Language.
106-118
Joshua D. Guttman:
Key Compromise, Strand Spaces, and the Authentication Tests.
141-161
James Laird:
A Game Semantics of Idealized CSP.
232-257
Keye Martin:
Unique Fixed Points in Domain Theory.
258-268
Annabelle McIver:
A Generalisation of Stationary Distributions, and Probabilistic Program Algebra.
269-279
Jan J. M. M. Rutten:
Elements of Stream Calculus (An Extensive Exercise in Coinduction).
358-423
Hayo Thielecke:
Comparing Control Constructs by Double-barrelled {CPS} Transforms.
433-447
data released under the ODC-BY 1.0 license
