Conferences in DBLP
Jean-Yves Girard Geometry of Interaction (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Andrew C. Uselton , Scott A. Smolka A Compositional Semantics for Statecharts using Labeled Transition Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Astrid Kiehn On the Decidability of Non-Interleaving Process Equivalences. [Citation Graph (0, 0)][DBLP ] Conf ] Sjouke Mauw , Hans Mulder Regularity of BPA-Systems is Decidable. [Citation Graph (0, 0)][DBLP ] Conf ] Yoram Hirshfeld , Faron Moller A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Claude Fernandez , Joseph Sifakis , Robert de Simone Model-Based Verification Methods and Tools (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Mahesh Girkar , Robert Moll New Results on the Analysis of Concurrent Systems with an Infinite Number of Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Bouajjani , Rachid Echahed , Riadh Robbana Verification of Nonregular Temporal Properties for Context-Free Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Olaf Burkart , Bernhard Steffen Pushdown Processes: Parallel Composition and Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Hardi Hungar Local Model Checking for Parallel Compositions of Context-Free Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Prakash Panangaden The Logical Structure of Concurrent Constraint Programming Languages (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Pietro Di Gianantonio , Furio Honsell , Silvia Liani , Gordon D. Plotkin Countable Non-Determinism and Uncountable Limits. [Citation Graph (0, 0)][DBLP ] Conf ] J. Robin B. Cockett , David A. Spooner SProc Categorically. [Citation Graph (0, 0)][DBLP ] Conf ] Costas Courcoubetis From Timed Graphs to Hybrid Automata (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] David L. Dill Hierarchical Models of Synchronous Circuits (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Costas Courcoubetis , Thomas A. Henzinger The Observational Power of Clocks. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy Gunawardena A Dynamic Approach to Timed Behaviour. [Citation Graph (0, 0)][DBLP ] Conf ] Józef Winkowski Algebras of Processes of Timed Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Maciej Koutny , Javier Esparza , Eike Best Operational Semantics for the Petri Box Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Arend Rensink , Heike Wehrheim Weak Sequential Composition in Process Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Paris C. Kanellakis , Dimitrios Michailidis , Alexander A. Shvartsman Efficient Parallelism vs Reliable Distribution: A Trade-off for Concurrent Computations. [Citation Graph (1, 0)][DBLP ] Conf ] Qiwen Xu , Antonio Cau , Pierre Collette On Unifying Assumption-Commitment Style Proof Rules for Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Jens U. Skakkebæk Liveness and Fairness in Duration Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Michele Boreale , Rocco De Nicola A Symbolic Semantics for the pi-calculus (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] David Walker On Bisimulation in the pi-calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Xinxin Liu Characterizing Bisimulation Congruence in the pi-Calculus (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Nils Klarlund The Limit View of Infinite Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph-Johan Back , Joakim von Wright Trace Refinement of Action Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mogens Nielsen , Christian Clausen Bisimulation for Models in Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Bezem , Jan Friso Groote Invariants in Process Algebra with Data. [Citation Graph (0, 0)][DBLP ] Conf ] Rance Cleaveland , James Riely Testing-Based Abstractions for Value-Passing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Verhoef A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Aceto Deriving Complete Inference Systems for a Class of GSOS Languages Generation Regular Behaviours. [Citation Graph (0, 0)][DBLP ] Conf ] Jos C. M. Baeten , Jan A. Bergstra Process Algebra with Partial Choice. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Segala , Nancy A. Lynch Probabilistic Simulations for Probabilistic Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Shoji Yuen , Rance Cleaveland , Zeynep Dayar , Scott A. Smolka Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Sue-Hwey Wu , Scott A. Smolka , Eugene W. Stark Composition and Behaviors of Probabilistic I/O Automata. [Citation Graph (0, 0)][DBLP ] Conf ] 