Conferences in DBLP
Colin Stirling Lokal Model Checking Games. [Citation Graph (0, 0)][DBLP ] Conf ] Mads Dam Compositional Proof Systems for Model Checking Infinite State Processes. [Citation Graph (0, 0)][DBLP ] Conf ] François Laroussinie , Kim Guldstrand Larsen Compositional Model Checking of Real Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ugo Montanari , Marco Pistore Checking Bisimilarity for Finitary pi-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Gian Luigi Ferrari , Ugo Montanari , Paola Quaglia The Weak Late pi-Calculus Semantics as Observation Equivalence. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Steffen , Andreas Claßen , Marion Klein , Jens Knoop , Tiziana Margaria The Fixpoint-Analysis Machine. [Citation Graph (0, 0)][DBLP ] Conf ] H. Lin Unique Fixpoint Induction for Mobile Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Xinxin Liu , David Walker A Polymorphic Type System for the Polyadic pi-calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio Hermida , John Power Fibrational Control Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Flavio Corradini , Rocco De Nicola , Anna Labella Fully Abstract Models for Nondeterministic Regular Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Nadia Busi , Roberto Gorrieri A Petri Net Semantics for pi-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Arend Rensink A Complete Theory of Deterministic Event Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Mogens Nielsen , Lutz Priese , Vladimiro Sassone Characterizing Behavioural Congruences for Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Frits W. Vaandrager Verification of a Distributed Summation Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Friso Groote , M. P. A. Sellink Confluence for Process Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Irek Ulidowski Axiomatisations of Weak Equivalences for De Simone Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Segala A Compositional Trace-Based Semantics for Probabilistic Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Núñez , David de Frutos-Escrig , Luis Fernando Llana Díaz Acceptance Trees for Probabilistic Processes. [Citation Graph (0, 0)][DBLP ] Conf ] David Harel Will I be Preety, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy Bryans , Jim Davies , Steve Schneider Towards a denotational semantics for ET-LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Farn Wang Reachability Analysis at Procedure Level through Timing Coincidence. [Citation Graph (0, 0)][DBLP ] Conf ] Walter Vogler Faster Asynchronous Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ed Brinksma , Arend Rensink , Walter Vogler Fair Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Dan Craigen Formal Methods Technology Transfer: Impediments and Innovation (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Parosh Aziz Abdulla , Mats Kindahl Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Petr Jancar , Faron Moller Checking Regular Properties of Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Marcello M. Bonsangue , Joost N. Kok , Erik P. de Vink Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Siegel A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'. [Citation Graph (0, 0)][DBLP ] Conf ] E. Allen Emerson Efficient Automation of Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Edmund M. Clarke , Orna Grumberg , Somesh Jha Veryfying Parameterized Networks using Abstraction and Regular Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Orna Kupferman , Moshe Y. Vardi On the Complexity of Branching Modular Model Checking (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Roope Kaivola Axiomatising Linear Time Mu-calculus. [Citation Graph (0, 0)][DBLP ] Conf ] P. S. Thiagarajan A Trace Consistent Subset of PTL. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard J. Holzmann Tutorial: Proving Properties of Concurrent System with SPIN. [Citation Graph (0, 0)][DBLP ] Conf ] Anna Philippou , David Walker On Sharing and Determinacy in Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Brock , Gerald Ostheimer Process Semantics of Graph Reduction. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew Hennessy , Julian Rathke Bisimulations for a Calculus of Broadcasting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro R. D'Argenio , Sjouke Mauw Delayed choice for process algebra with abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Karlis Cerans CTR: A Calculus of Timed Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Bouajjani , Yassine Lakhnech Temporal Logic + Timed Automata: Expressiveness and Decidability. [Citation Graph (0, 0)][DBLP ] Conf ] 