Abstract is missing.
- Final Universes of ProcessesPeter Aczel. 1-28
- On the Symmetry of SequentialityPierre-Louis Curien. 29-71
- Computational Adequacy via Mixed Inductive DefinitionsAndrew M. Pitts. 72-82
- A Strucutral Co-Induction TheoremJan J. M. M. Rutten. 83-102
- Three Metric Domains of Processes for BisimulationFranck van Breugel. 103-121
- Topological Models for Higher Ordr Control FlowJ. W. de Bakker, Franck van Breugel. 122-142
- An Investigation into Functions as ProcessesDavide Sangiorgi. 143-159
- Time Abstracted Bisimiulation: Implicit Specifications and DecidabilityKim Guldstrand Larsen, Wang Yi. 160-176
- Timewise Refinement for Communicating ProcessesSteve Schneider. 177-214
- Axiomatising Real-Time ProcessesLiang Chen. 215-229
- A Predicative Semantics for the Refinement of Real-Time SystemsDavid Scholefield, Hussein S. M. Zedan, Jifeng He. 230-249
- Compositional Process Semantics of Petri BoxesEike Best, Hans-Günther Linde-Göers. 250-270
- On the Specification of Elementary Reactive BehaviourG. Michele Pinna, Axel Poigné. 271-292
- A Chemical Abstract Machine for Graph ReductionAlan Jeffrey. 293-303
- Lifting Theorems for Kleisli CategoriesPhilip S. Mulry. 304-319
- Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCFStephen D. Brookes, Shai Geva. 320-332
- Another Approach to Sequentiality: Kleene s Unimonotone FunctionsAntonio Bucciarelli. 333-358
- Mechanizing Logical RelationsAllen Stoughton. 359-377
- Some Quasi-Varieties of Iteration TheoriesStephen L. Bloom, Zoltán Ésik. 378-409
- Probabilistic Power Domains, Information Systems, and LocalesReinhold Heckmann. 410-437
- Linear Domains and Linear MapsMichael Huth. 438-453
- Universal Quasi-Prime Algebraic DomainsGuo-Qiang Zhang. 454-473
- Holomorhpic Models of Exponential Types in Linear LogicRichard Blute, R. A. G. Seely, Prakash Panangaden. 474-512
- A Syntax for Linear LogicPhilip Wadler. 513-529
- A Complete Axiomatisation for Trace Congruence of Finite State BehaviorsAlexander Moshe Rabinovich. 530-543
- The Asymmetric Topology of Computer ScienceRalph Kopperman, Bob Flagg. 544-553
- Ultimately Periodic Words of Rational ::::w::::-LanguagesHugues Calbrix, Maurice Nivat, Andreas Podelski. 554-566
- Category of Delta-FunctorsAdrian Fiech. 567-586
- A Categorical Interpretation of Landin s Correspondence PrincipleAnindya Banerjee, David A. Schmidt. 587-602
- An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming LanguageKim B. Bruce, Jonathan Crabtree, Gerlad Kanapathy. 603-626
- On the Transformation between Direct and Continuation SemanticsOlivier Danvy, John Hatcliff. 627-648