Conferences in DBLP
Eike Best Partial Order Semantics of Concurrent Programs (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Gorrieri , Ugo Montanari SCONE: A Simple Calculus of Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew Hennessy Value-Passing in Process Algebras (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] C. A. R. Hoare Let's Make Models (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Kim Guldstrand Larsen Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + ... [Citation Graph (0, 0)][DBLP ] Conf ] Martín Abadi An Axiomatization of Lamport's Temporal Logic of Actions. [Citation Graph (0, 0)][DBLP ] Conf ] Anish Arora , Paul C. Attie , Michael Evangelist , Mohamed G. Gouda Convergence of Iteration Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Jos C. M. Baeten , Jan A. Bergstra Process Algebra with a Zero Object. [Citation Graph (0, 0)][DBLP ] Conf ] Frank S. de Boer , Catuscia Palamidessi On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences. [Citation Graph (0, 0)][DBLP ] Conf ] Julian C. Bradfield , Colin Stirling Verifying Temporal Properties of Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan Christoff Testing Equivalences and Fully Abstract Models for Probabilistic Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Rance Cleaveland , Bernhard Steffen A Preorder for Partial Process Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Rocco De Nicola , Ugo Montanari , Frits W. Vaandrager Back and Forth Bisimulations. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Desel Reduction and Design of Well-behaved Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Javier Esparza Synthesis Rules for Petri Nets, and How they Lead to New Results. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Fekete , Nancy A. Lynch The Need for Headers: An Impossibility Result for Communication over Unreliable Channels. [Citation Graph (0, 0)][DBLP ] Conf ] Yulin Feng , Junbo Liu A Temporal Approach to Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Nissim Francez , Ira R. Forman Superimposition for Interacting Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Lars-Åke Fredlund , Bengt Jonsson , Joachim Parrow An Implementation of a Translational Semantics for an Imperative Language. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Gerber , Insup Lee CCSR: A Calculus for Communicating Shared Resources. [Citation Graph (0, 0)][DBLP ] Conf ] Rob J. van Glabbeek The Linear Time-Branching Time Spectrum (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] E. Pascal Gribomont A Programming Logic for Formal Concurent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Friso Groote A New Strategy for Proving omega-Completeness applied to Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Friso Groote Transition System Specifications with Negative Premises (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Mark B. Josephs , Jan Tijmen Udding Delay-Insensitive Circuits: An Algebraic Approach to their Design. [Citation Graph (0, 0)][DBLP ] Conf ] Chi-Chang Jou , Scott A. Smolka Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes. [Citation Graph (0, 0)][DBLP ] Conf ] José Meseguer Rewriting as a Unified Model of Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Faron Moller , Chris M. N. Tofts A Temporal Calculus of Communicating Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Pawel Paczkowski Proving Termination of Communicating Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Huajun Qin , Philip Lewis Factorization of Finite State Machines under Observational Equivalence. [Citation Graph (0, 0)][DBLP ] Conf ] Antonia Sinachopoulos Partial Order Logics for Elementary Net Systems: State- and Event-approaches. [Citation Graph (0, 0)][DBLP ] Conf ] Scott A. Smolka , Bernhard Steffen Priority as Extremal Probability. [Citation Graph (0, 0)][DBLP ] Conf ] Chris M. N. Tofts A Synchronous Calculus of Relative Frequency. [Citation Graph (0, 0)][DBLP ] Conf ] Glynn Winskel On the Compositional Checking of Validity (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Wang Yi Real-Time Behaviour of Asynchronous Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Serge Yoccoz Effective Solutions to Domain Equations - An Approach to Effective Denotational Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] 