


default search action
17th MFPS 2001: Aarhus, Denmark
- Stephen D. Brookes, Michael W. Mislove:
Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001. Electronic Notes in Theoretical Computer Science 45, Elsevier 2001 - Andrej Bauer:
A Relationship between Equilogical Spaces and Type Two Effectivity. 1-21 - Stephen D. Brookes:
Transfer Principles for Reasoning About Concurrent Programs. 22-40 - Patrick Cousot, Radhia Cousot:
A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination. 41-64 - Daniel Damian:
Time Stamps for Fixed-Point Approximation. 65-76 - Lei Fan:
A New Approach to Quantitative Domain Theory. 77-87 - Fabio Gadducci
, Ugo Montanari:
A Concurrent Graph Semantics for Mobile Ambients. 88-105 - Dan R. Ghica:
Regular-Language Semantics for a Call-by-Value Programming Language. 106-118 - Andrew D. Gordon, Alan Jeffrey:
Typing Correspondence Assertions for Communication Protocols. 119-140 - Joshua D. Guttman
:
Key Compromise, Strand Spaces, and the Authentication Tests. 141-161 - John Hannan:
On Extracting Static Semantics. 162-173 - Michael Huth, Shekhar Pradhan:
Model-Checking View-Based Partial Specifications. 174-196 - Martin Hyland, John Power
:
Pseudo-commutative Monads. 197-208 - Achim Jung, Mathias Kegelmann, M. Andrew Moshier:
Stably Compact Spaces and Closed Relations. 209-231 - 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 - John C. Mitchell, Ajith Ramanathan, Andre Scedrov
, Vanessa Teague:
A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report). 280-310 - Lasse R. Nielsen:
A Selective CPS Transformation. 311-331 - Gordon D. Plotkin, John Power
:
Semantics for Algebraic Operations. 332-345 - John Power
, Konstantinos Tourlas:
An Algebraic Foundation for Graph-based Diagrams in Computing. 346-357 - Jan J. M. M. Rutten:
Elements of Stream Calculus (An Extensive Exercise in Coinduction). 358-423 - Peter Sestoft:
Demonstrating Lambda Calculus Reduction. 424-432 - Hayo Thielecke:
Comparing Control Constructs by Double-barrelled {CPS} Transforms. 433-447 - Pawel Waszkiewicz:
Distance and Measurement in Domain Theory. 448-462 - Stephen D. Brookes, Michael W. Mislove
:
Preface. 463-464

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.