default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSeminar on Concurrency 1984: Pittsburgh, PA, USA
- Stephen D. Brookes, A. W. Roscoe, Glynn Winskel:
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 - 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, John 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-10 20:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
