Seminar on Concurrency

Keyphrases

Publications

volume 197, 1985

Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984 Seminar on Concurrency 197 (1985)

1984

Christian Lengauer, Chua-Huang Huang
The Static Derivation of Concurrency and its Mechanzed Certification. Seminar on Concurrency (1984)
Robert E. Strom, Shaula Yemini
The NIL Distributed Systems Programming Language: A Status Report. Seminar on Concurrency (1984)
Robin Milner
Lectures on a Calculus for Communicating Systems. Seminar on Concurrency (1984)
Howard Barringer, Ruurd Kuiper
Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. Seminar on Concurrency (1984)
William D. Clinger, Charles Halpern
Alternative Semantics for McCarthy's amb. Seminar on Concurrency (1984)
Ben C. Moszkowski
Executing Temporal Logic Programs. Seminar on Concurrency (1984)
Glynn Winskel
On the Composition and Decomposition of Assertions. Seminar on Concurrency (1984)
William G. Golson
Denotational Models Based on Synchronously Communicating Processes: Refusal, Acceptance, Safety. Seminar on Concurrency (1984)
Vaughan R. Pratt
The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial. Seminar on Concurrency (1984)
William C. Rounds
Applications of Topology to Semantics of Communicating Processes. Seminar on Concurrency (1984)
Glynn Winskel
Categories of Models for Concurrency. Seminar on Concurrency (1984)
Philippe Darondeau
A Fully Abstract Model of Fair Asynchrony. Seminar on Concurrency (1984)
Gérard Berry, Laurent Cosserat
The ESTEREL Synchronous Programming Language and its Mathematical Semantics. Seminar on Concurrency (1984)
Stephen D. Brookes
On the Axiomatic Treatment of Concurrency. Seminar on Concurrency (1984)
Gul Agha
Semantic Considerations in the Actor Paradigm of Concurrent Computation. Seminar on Concurrency (1984)
Robert M. Keller, Prakash Panangaden
Semantics of Networks Containing Indeterminate Operators. Seminar on Concurrency (1984)
Stephen D. Brookes, A. W. Roscoe
An Improved Failures Model for Communicating Processes. Seminar on Concurrency (1984)
Luca Cardelli
An Implementation Model of Rendezvous Communication. Seminar on Concurrency (1984)
Eike Best
Concurrent Behaviour: Sequences, Processes and Axioms. Seminar on Concurrency (1984)
Prakash Panangaden
Abstract Interpretation and Indeterminacy. Seminar on Concurrency (1984)
Carl Hewitt, Tom Reinhardt, Gul Agha, Giuseppe Attardi
Linguistic Support of Receptionists for Shared Resources. Seminar on Concurrency (1984)
Ryszard Janicki, Peter E. Lauer, Raymond R. Devillers
Maximally Concurrent Evolution of Non-sequential Systems. Seminar on Concurrency (1984)
Jan A. Bergstra, Jan Willem Klop, John V. Tucker
Process Algebra with Asynchronous Communication Mechanisms. Seminar on Concurrency (1984)
A. W. Roscoe
Denotational Semantics for occam. Seminar on Concurrency (1984)
Jayadev Misra
Axioms for Memory Access in Asynchronous Hardware Systems. Seminar on Concurrency (1984)