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