Conferences in DBLP
Dawson R. Engler Static Analysis Versus Model Checking for Bug Finding. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur The Benefits of Exposing Calls and Returns. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Cardelli A Compositional Approach to the Stochastic Dynamics of Gene Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Christos H. Papadimitriou Games Other People Play. [Citation Graph (0, 0)][DBLP ] Conf ] Deepak Garg , Frank Pfenning Type-Directed Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Damiano Mazza Multiport Interaction Nets and Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Alwen Fernanto Tiu Model Checking for pi -Calculus Using Proof Search. [Citation Graph (0, 0)][DBLP ] Conf ] Jim Laird A Game Semantics of the Asynchronous pi -Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Franck Cassez , Alexandre David , Emmanuel Fleury , Kim Guldstrand Larsen , Didier Lime Efficient On-the-Fly Algorithms for the Analysis of Timed Games. [Citation Graph (0, 0)][DBLP ] Conf ] Patricia Bouyer , Franck Cassez , François Laroussinie Modal Logics for Timed Control. [Citation Graph (0, 0)][DBLP ] Conf ] Catalin Dima Timed Shuffle Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Houda Bel Mokadem , Béatrice Bérard , Patricia Bouyer , François Laroussinie A New Modality for Almost Everywhere Properties in Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro R. D'Argenio , Biniam Gebremichael The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation. [Citation Graph (0, 0)][DBLP ] Conf ] Franck van Breugel A Behavioural Pseudometric for Metric Labelled Transition Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej S. Murawski , Joël Ouaknine On Probabilistic Program Equivalence and Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Mohit Bhargava , Catuscia Palamidessi Probabilistic Anonymity. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew D. Gordon , Alan Jeffrey Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Haack , Alan Jeffrey Timed Spi-Calculus with Types for Secrecy and Authenticity. [Citation Graph (0, 0)][DBLP ] Conf ] Tomasz Truderung Selecting Theories and Recursive Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Detlef Kähler , Ralf Küsters Constraint Solving for Contract-Signing Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Jos C. M. Baeten , Mario Bravetti A Ground-Complete Axiomatization of Finite State Processes in Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Sibylle B. Fröschle , Slawomir Lasota Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP. [Citation Graph (0, 0)][DBLP ] Conf ] David de Frutos-Escrig , Carlos Gregorio-Rodríguez Bisimulations Up-to for the Linear Time Branching Time Spectrum. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Bruni , Fabio Gadducci , Ugo Montanari , Pawel Sobocinski Deriving Weak Bisimulation Congruences from Reduction Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mohammad Reza Mousavi , Murdoch Gabbay , Michel A. Reniers SOS for Higher Order Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Rob J. van Glabbeek The Individual and Collective Token Interpretations of Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Victor Khomenko , Alex Kondratyev , Maciej Koutny , Walter Vogler Merged Processes - A New Condensed Representation of Petri Net Behaviour. [Citation Graph (0, 0)][DBLP ] Conf ] Vijay A. Saraswat , Radha Jagadeesan Concurrent Clustered Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Adrian Francalanza , Matthew Hennessy A Theory of System Behaviour in the Presence of Node and Link Failures. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Bruni , Michael J. Butler , Carla Ferreira , C. A. R. Hoare , Hernán C. Melgratti , Ugo Montanari Comparing Two Approaches to Compensable Flow Composition. [Citation Graph (0, 0)][DBLP ] Conf ] Vincent Danos , Jean Krivine Transactions in RCCS. [Citation Graph (0, 0)][DBLP ] Conf ] Krishnendu Chatterjee Two-Player Nonzero-Sum omega -Regular Games. [Citation Graph (0, 0)][DBLP ] Conf ] Hugo Gimbert , Wieslaw Zielonka Games Where You Can Play Optimally Without Any Memory. [Citation Graph (0, 0)][DBLP ] Conf ] Blaise Genest On Implementation of Global Concurrent Systems with Local Asynchronous Controllers. [Citation Graph (0, 0)][DBLP ] Conf ] Hagen Völzer , Daniele Varacca , Ekkart Kindler Defining Fairness. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Bouajjani , Markus Müller-Olm , Tayssir Touili Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Aaron R. Bradley , Zohar Manna , Henny B. Sipma Termination Analysis of Integer Linear Loops. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Goubault , Emmanuel Haucourt A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Demri , Régis Gascon Verification of Qualitative Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Gastin , Dietrich Kuske Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces. [Citation Graph (0, 0)][DBLP ] Conf ] Tiziana Margaria , A. Prasad Sistla , Bernhard Steffen , Lenore D. Zuck Taming Interface Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Ron van der Meyden , Thomas Wilke Synthesis of Distributed Systems from Knowledge-Based Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] 