Conferences in DBLP
Pierre America Formal Techniques for Parallel Object-Oriented Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Amar Bouali , Robert de Simone Causal Models for Rational Algebraic Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Rocco De Nicola Action and State-based Logics for Process Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Claude Fernandez , Laurent Mounier A Tool Set for deciding Behavioral Equivalences. [Citation Graph (0, 0)][DBLP ] Conf ] Ursula Goltz Causality Based Models for the Design of Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Robin Milner , Joachim Parrow , David Walker Modal Logics for Mobile Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Ernst-Rüdiger Olderog Towards a Design Calculus for Communicationg Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Aceto , Anna Ingólfsdóttir A Theory of Testing for ACP. [Citation Graph (0, 0)][DBLP ] Conf ] Jos C. M. Baeten , Jan A. Bergstra Real Space Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Frank S. de Boer , Joost N. Kok , Catuscia Palamidessi , Jan J. M. M. Rutten The Failure of Failures in a Paradigm for Asynchronous Communication. [Citation Graph (0, 0)][DBLP ] Conf ] Frank S. de Boer , Catuscia Palamidessi Embedding as a Tool for Language Comparison: On the CSP Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] Juanito Camilleri A Conditional Operator for CCS. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolien J. Drost Algebraic Formulations of Trace Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Javier Esparza , Manuel Silva Compositional Synthesis of Live and Bounded Free Choice Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Gian Luigi Ferrari , Ugo Montanari The Observation Algebra of Spatial Pomsets. [Citation Graph (0, 0)][DBLP ] Conf ] Nissim Francez , Ira R. Forman Synchrony Loosening Transformations for Interacting Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth J. Goldman A Compositional Model for Layered Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Friso Groote , Alban Ponse Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Orna Grumberg , David E. Long Model Checking and Modular Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy Gunawardena Geometric Logic, Causality and Event Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marie Jacquet , Luís Monteiro Extended Horn Clauses: The Framework and Some Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Wil Janssen , Mannes Poel , Job Zwiers Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Ryszard Janicki , Maciej Koutny Invariant Semantics of Nets with Inhibitor Arcs. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Jeffrey Abstract Timed Observation and Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Bengt Jonsson Simulations Between Specifications of Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Roope Kaivola , Antti Valmari Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Klusener Completeness in Real Time Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Padmanabhan Krishnan Distributed CCS. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Merritt , Francesmary Modugno , Marc R. Tuttle Time-Constrained Automata (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Faron Moller , Chris M. N. Tofts Relating Processes With Respect to Speed. [Citation Graph (0, 0)][DBLP ] Conf ] David Murphy Testing, Betting and Timed True Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Doris Nolte , Lutz Priese Fairness in Models with True Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Huajun Quin Efficient Verification of Determinate Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Ph. Schnoebelen Experiments on Processes with Backtracking. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Spruit , Roel Wieringa Some Finite-Graph Models for Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Ketil Stølen A Method for the Development of Totally Correct Shared-State Parallel Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Antti Valmari , Matthew Clegg Reduced Labelled Transition Systems Save Verification Effort. [Citation Graph (0, 0)][DBLP ] Conf ] 