Abstract is missing.
- On the Axiomatic Treatment of ConcurrencyStephen D. Brookes. 1-34
- Hierarchical Development of Cncurrent Systems in a Temporal Logic FrameworkHoward Barringer, Ruurd Kuiper. 35-61
- On the Composition and Decomposition of AssertionsGlynn Winskel. 62-75
- Process Algebra with Asynchronous Communication MechanismsJan A. Bergstra, Jan Willem Klop, J. V. Tucker. 76-95
- Axioms for Memory Access in Asynchronous Hardware SystemsJayadev Misra. 96-110
- Executing Temporal Logic ProgramsBen C. Moszkowski. 111-130
- The Static Derivation of Concurrency and its Mechanzed CertificationChristian Lengauer, Chua-Huang Huang. 131-150
- Semantic Considerations in the Actor Paradigm of Concurrent ComputationGul Agha. 151-179
- The Pomset Model of Parallel Processes: Unifying the Temporal and the SpatialVaughan R. Pratt. 180-196
- Lectures on a Calculus for Communicating SystemsRobin Milner. 197-220
- Concurrent Behaviour: Sequences, Processes and AxiomsEike Best. 221-245
- Categories of Models for ConcurrencyGlynn Winskel. 246-267
- Maximally Concurrent Evolution of Non-sequential SystemsRyszard Janicki, Peter E. Lauer, Raymond R. Devillers. 268-280
- An Improved Failures Model for Communicating ProcessesStephen D. Brookes, A. W. Roscoe. 281-305
- Denotational Semantics for occamA. W. Roscoe. 306-329
- Linguistic Support of Receptionists for Shared ResourcesCarl Hewitt, Tom Reinhardt, Gul Agha, Giuseppe Attardi. 330-359
- Applications of Topology to Semantics of Communicating ProcessesWilliam C. Rounds. 360-372
- Denotational Models Based on Synchronously Communicating Processes: Refusal, Acceptance, SafetyWilliam G. Golson. 373-388
- The ESTEREL Synchronous Programming Language and its Mathematical SemanticsGĂ©rard Berry, Laurent Cosserat. 389-448
- An Implementation Model of Rendezvous CommunicationLuca Cardelli. 449-457
- A Fully Abstract Model of Fair AsynchronyPhilippe Darondeau. 458-466
- Alternative Semantics for McCarthy s ambWilliam D. Clinger, Charles Halpern. 467-478
- Semantics of Networks Containing Indeterminate OperatorsRobert M. Keller, Prakash Panangaden. 479-496
- Abstract Interpretation and IndeterminacyPrakash Panangaden. 497-511
- The NIL Distributed Systems Programming Language: A Status ReportRobert E. Strom, Shaula Yemini. 512-522