Seminar on Concurrency 1984: Pittsburgh, PA, USA

Stephen D. Brookes, A. W. Roscoe, Glynn Winskel (Eds.): Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984. Lecture Notes in Computer Science 197 Springer 1985, ISBN 3-540-15670-4 BibTeX

@proceedings{DBLP:conf/concur/1984,
  editor    = {Stephen D. Brookes and
               A. W. Roscoe and
               Glynn Winskel},
  title     = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg,
               PA, USA, July 9-11, 1984},
  booktitle = {Seminar on Concurrency},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {197},
  year      = {1985},
  isbn      = {3-540-15670-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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