Seminar on Concurrency 1984: Pittsburgh, PA, USA

• Stephen D. Brookes:
  On the Axiomatic Treatment of Concurrency. 1-34
  
• Howard Barringer, Ruurd Kuiper:
  Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. 35-61
  
• Glynn Winskel:
  On the Composition and Decomposition of Assertions. 62-75
  
• Jan A. Bergstra, Jan Willem Klop, J. V. Tucker:
  Process Algebra with Asynchronous Communication Mechanisms. 76-95
  
• Jayadev Misra:
  Axioms for Memory Access in Asynchronous Hardware Systems. 96-110
  
• Ben C. Moszkowski:
  Executing Temporal Logic Programs. 111-130
  
• Christian Lengauer, Chua-Huang Huang:
  The Static Derivation of Concurrency and its Mechanzed Certification. 131-150
  
• Gul Agha:
  Semantic Considerations in the Actor Paradigm of Concurrent Computation. 151-179
  
• Vaughan R. Pratt:
  The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial. 180-196
  
• Robin Milner:
  Lectures on a Calculus for Communicating Systems. 197-220
  
• Eike Best:
  Concurrent Behaviour: Sequences, Processes and Axioms. 221-245
  
• Glynn Winskel:
  Categories of Models for Concurrency. 246-267
  
• Ryszard Janicki, Peter E. Lauer, Raymond R. Devillers:
  Maximally Concurrent Evolution of Non-sequential Systems. 268-280
  
• Stephen D. Brookes, A. W. Roscoe:
  An Improved Failures Model for Communicating Processes. 281-305
  
• A. W. Roscoe:
  Denotational Semantics for occam. 306-329
  
• Carl Hewitt, Tom Reinhardt, Gul Agha, Giuseppe Attardi:
  Linguistic Support of Receptionists for Shared Resources. 330-359
  
• William C. Rounds:
  Applications of Topology to Semantics of Communicating Processes. 360-372
  
• William G. Golson:
  Denotational Models Based on Synchronously Communicating Processes: Refusal, Acceptance, Safety. 373-388
  
• Gérard Berry, Laurent Cosserat:
  The ESTEREL Synchronous Programming Language and its Mathematical Semantics. 389-448
  
• Luca Cardelli:
  An Implementation Model of Rendezvous Communication. 449-457
  
• Philippe Darondeau:
  A Fully Abstract Model of Fair Asynchrony. 458-466
  
• William D. Clinger, Charles Halpern:
  Alternative Semantics for McCarthy's amb. 467-478
  
• Robert M. Keller, Prakash Panangaden:
  Semantics of Networks Containing Indeterminate Operators. 479-496
  
• Prakash Panangaden:
  Abstract Interpretation and Indeterminacy. 497-511
  
• Robert E. Strom, Shaula Yemini:
  The NIL Distributed Systems Programming Language: A Status Report. 512-522