Abstract is missing.
- A brief scientific biography of Robin MilnerGordon D. Plotkin, Colin Stirling, Mads Tofte. 1-18
- Bistructures, bidomains, and linear logicPierre-Louis Curien, Gordon D. Plotkin, Glynn Winskel. 21-54
- Axioms for definability and full completenessSamson Abramsky. 55-76
- Algebraic derivation of an operational semanticsC. A. R. Hoare, Jifeng He, Augusto Sampaio. 77-98
- From Banach to Milner: metric semantics for second order communication and concurrencyJaco de Bakker, Franck van Breugel. 99-132
- The tile modelFabio Gadducci, Ugo Montanari. 133-166
- From LCF to HOL: a short historyMike Gordon. 169-186
- A fixedpoint approach to (co)inductive and (co)datatype definitionsLawrence C. Paulson. 187-212
- Constructively formalizing automata theoryRobert L. Constable, Paul B. Jackson, Pavel Naumov, Juan C. Uribe. 213-238
- Constructive category theoryGérard P. Huet, Amokrane Saïbi. 239-276
- Enhancing the tractability of rely/guarantee specifications in the development of interfering operationsPierre Collette, Cliff B. Jones. 277-308
- Model checking algorithms for the µ-calculusSergey Berezin, Edmund M. Clarke, Somesh Jha, Will Marrero. 309-338
- A type-theoretic interpretation of standard MLRobert Harper, Christopher A. Stone. 341-388
- Unification and polymorphism in region inferenceMads Tofte, Lars Birkedal. 389-424
- The foundations of EsterelGérard Berry. 425-454
- Pict: a programming language based on the Pi-CalculusBenjamin C. Pierce, David N. Turner. 455-494
- On the star height of unary regular behavioursYoram Hirshfeld, Faron Moller. 497-510
- Combining the typed lambda-calculus with CCSWilliam Ferreira, Matthew Hennessy, Alan Jeffrey. 511-534
- Discrete time process algebra with silent stepJos C. M. Baeten, Jan A. Bergstra, Michel A. Reniers. 535-570
- A complete axiom system for finite-state probabilistic processesEugene W. Stark, Scott A. Smolka. 571-596
- A calculus of communicating systems with label passing - ten years afterUffe Engberg, Mogens Nielsen. 599-622
- Trios in concertJoachim Parrow. 623-638
- Concurrent objects as mobile processesXinxin Liu, David Walker. 639-658
- lambda-calculus, multiplicities, and the pi-calculusGérard Boudol, Cosimo Laneve. 659-690
- Lazy functions and mobile processesDavide Sangiorgi. 691-720