Abstract is missing.
- Predicate Transformers and Higher Order LogicRalph-Johan Back, Joakim von Wright. 1-20
- Trace NetsEric Badouel, Philippe Darondeau. 21-50
- Proving Total Correctness of Programs in Weak Second-Order LogicRudolf Berghammer, Birgit Elbl, Ulf R. Schmerl. 51-72
- On Blocks: Locality and Asynchronous Communication (Extended Abstract)Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten. 73-90
- Semantics, Orderings and Recursion in the Weakest Precondition CalculusMarcello M. Bonsangue, Joost N. Kok. 91-109
- A Categorial Model for Logic Programs: Indexed Monoidal CategoriesAndrea Corradini, Andrea Asperti. 110-137
- A Categorial View of Process RefinementPierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini. 138-153
- Compact Metric Information Systems (Extended Abstract)Abbas Edalat, Michael B. Smyth. 154-173
- Asynchronous Rendez-vous in Distributed Logic ProgrammingAnton Eliƫns, Erik P. de Vink. 174-203
- New Semantic Tools for Logic ProgrammingMaurizio Gabbrielli, Giorgio Levi, Maurizio Martelli. 204-235
- Temporal Preconditions of Recursive ProceduresWim H. Hesselink, Ronald Reinds. 236-260
- Towards an Epistemic Approach to Reasoning about Concurrent ProgramsWiebe van der Hoek, M. van Hulst, John-Jules Ch. Meyer. 261-287
- A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and LocalityEiichi Horita. 288-317
- SPCF: Its Model, Calculus, and Computational Power (Preliminary Version)Ramarao Kanneganti, Robert Cartwright, Matthias Felleisen. 318-347
- Infinite Behaviour and Fairness in Concurrent Constraint ProgrammingMarta Z. Kwiatkowska. 348-383
- Full Abstraction and Unnested RecursionMichael W. Mislove, Frank J. Oles. 384-397
- On the Action Semantics of Concurrent Programming LanguagesPeter D. Mosses. 398-424
- Layered PredicatesFlemming Nielson, Hanne Riis Nielson. 425-456
- A Hyperdoctrinal View of Concurrent Constraint ProgrammingPrakash Panangaden, Vijay A. Saraswat, Philip J. Scott, R. A. G. Seely. 457-476
- On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial OrdersJan J. M. M. Rutten, Daniele Turi. 477-530
- Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent AlgorithmsViggo Stoltenberg-Hansen, J. V. Tucker. 531-562
- Some Issues in the Semantics of Facile Distributed ProgrammingBent Thomsen, Lone Leth, Alessandro Giacalone. 563-593
- On the Relation Between Unity Properties and Sequences of StatesRob T. Udink, Joost N. Kok. 594-608
- Expressive Results for Process AlgebrasFrits W. Vaandrager. 609-638
- Compiling Joy Into Silicon: An Exercise in Applied Structural Operational SemanticsSam Weber, Bard Bloom, Geoffrey Brown. 639-659