Conferences in DBLP
Moshe Y. Vardi Sometimes and Not Never Re-revisited: On Branching Versus Linear Time. [Citation Graph (0, 0)][DBLP ] Conf ] P. Madhusudan , P. S. Thiagarajan Controllers for Discrete Event Systems via Morphisms. [Citation Graph (0, 0)][DBLP ] Conf ] Ron van der Meyden , Moshe Y. Vardi Synthesis from Knowledge-Based Specifications (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Denis Lugiez , Ph. Schnoebelen The Regular Viewpoint on PA-Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Damm , Amir Pnueli , Sitvanit Ruah Herbrand Automata for Hardware Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Chiara Bodei , Pierpaolo Degano , Flemming Nielson , Hanne Riis Nielson Control Flow Analysis for the pi-calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Parrow , Björn Victor The Tau-Laws of Fusion. [Citation Graph (0, 0)][DBLP ] Conf ] José-Luis Vivas , Mads Dam From Higher-Order pi-Calculus to pi-Calculus in the Presence of Static Operators. [Citation Graph (0, 0)][DBLP ] Conf ] Nobuko Yoshida Minimality and Separation Results on Asynchronous Mobile Processes: Representability Theorems by Concurrent Combinators (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Perdita Stevens Abstract Games for Infinite State Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Thomas A. Henzinger , Orna Kupferman , Moshe Y. Vardi Alternating Refinement Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Simone Veglioni , Rocco De Nicola Possible Worlds for Process Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Jan J. M. M. Rutten Automata and Coinduction (An Exercise in Coalgebra). [Citation Graph (0, 0)][DBLP ] Conf ] Jean-François Raskin , Pierre-Yves Schobbens , Thomas A. Henzinger Axioms for Real-Time Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Holger Hermanns , Markus Lohrey Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Parosh Aziz Abdulla , Karlis Cerans Simulation Is Decidable for One-Counter Nets (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Peter Sewell From Rewrite to Bisimulation Congruences. [Citation Graph (0, 0)][DBLP ] Conf ] Frank S. de Boer Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto M. Amadio , Sanjiva Prasad Modelling IP Mobility. [Citation Graph (0, 0)][DBLP ] Conf ] Ernie Cohen , Leslie Lamport Reduction in TLA. [Citation Graph (0, 0)][DBLP ] Conf ] Lisbeth Fajstrup , Eric Goubault , Martin Raußen Detecting Deadlocks in Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Sandro Etalle , Maurizio Gabbrielli , Maria Chiara Meo Unfold/Fold Transformations of CCP Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin C. Pierce Type Systems for Concurrent Calculi (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Herzog Stochastic Process Algebras Benefits for Performance Evaluation and Challenges (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Albert Benveniste , Claude Jard , Stephane Gaubert Algebraic Techniques for Timed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Anna Philippou , Rance Cleaveland , Insup Lee , Scott A. Smolka , Oleg Sokolsky Praobabilistic Resource Failure in Real-Time Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Mario Bravetti , Marco Bernardo , Roberto Gorrieri Towards Performance Evaluation with General Distributions in Process Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Luca de Alfaro Stochastic Transition Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas A. Henzinger It's About Time: Real-Time Logics Reviewed. [Citation Graph (0, 0)][DBLP ] Conf ] François Demichelis , Wieslaw Zielonka Controlled Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Asarin , Oded Maler , Amir Pnueli On Discretization of Delays in Timed Automata and Digital Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Johan Bengtsson , Bengt Jonsson , Johan Lilius , Wang Yi Partial Order Reductions for Timed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Walter Vogler , Alexei L. Semenov , Alexandre Yakovlev Unfolding and Finite Prefix for Nets with Read Arcs. [Citation Graph (0, 0)][DBLP ] Conf ] Dietrich Kuske Asynchronous Cellular Automata and Asynchronous Automata for Pomsets. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Darondeau Deriving Unbounded Petri Nets from Formal Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Rémi Morin Decompositions of Asynchronous Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Marta Pietkiewicz-Koutny Synthesis of ENI-systems Using Minimal Regions. [Citation Graph (0, 0)][DBLP ] Conf ] Gian Luca Cattani , John Power , Glynn Winskel A Categorical Axiomatics for Bisimulation. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene W. Stark Fibrational Semantics of Dataflow Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas T. Hildebrandt , Prakash Panangaden , Glynn Winskel A Relational Model of Non-deterministic Dataflow. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Friso Groote , François Monin , Jaco van de Pol Checking Verifications of Protocols and Distributed Systems by Computer. [Citation Graph (0, 0)][DBLP ] Conf ] 