Conferences in DBLP
Leslie Lamport While Waiting for the Millennium: Formal Specification and Verficiation of Concurrent Systems Now (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Amir Pnueli , Roni Rosner A Framework for the Synthesis of Reactive Modules. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Y. Halpern , Ronald Fagin Modelling Knowledge and Action in Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Broy Requirement and Design Specification for Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Richard L. Schwartz Data Base Distribution and Concurrency for End-Users (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Danny Dolev , H. Raymond Strong On Safety and Timeliness in Distributed Data Management. [Citation Graph (0, 0)][DBLP ] Conf ] Moshe Y. Vardi An Automata-Theoretic Approach to Protocol Verification (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Doron Drusinsky , David Harel On the Power of Cooperative Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Howard Barringer , Dov M. Gabbay Executing Temporal Logic: Review and Prospects (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] P. M. Melliar-Smith A Graphical Representation of Interval Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Reisig Temporal Logic and Causality in Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Egidio Astesiano , Alessandro Giovini , Gianna Reggio Data in a Concurrent Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Karl Meinke , J. V. Tucker The Scope and Limits of Synchronous Concurrent Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Stefania Gnesi , Paola Inverardi , Monica Nesi A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. [Citation Graph (0, 0)][DBLP ] Conf ] Da-Hai Li , T. S. E. Maibaum A Top-down Step-wise Refinement Methodology for Protocol Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Fiorella de Cindio , Giorgio De Michelis , Lucia Pomello , Carla Simone A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence. [Citation Graph (0, 0)][DBLP ] Conf ] A. Bourguet-Rouger External Behaviour Equivalence between two Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Eike Best Weighted Basic Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard Tel Total Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Asis Goswami , Mathai Joseph Semancitcs of Real-time Distributed Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Burkhard Igel , Georg Reichwein An Example of Communicating Production Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolien J. Drost , Jan van Leeuwen Assertional Verification of a Majority Consensus Algorithm for Concurrency Control in Multiple Copy Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Udo Thalmann Analysis of ESTELLE Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Ephraim Korach , Gerard Tel , Shmuel Zaks Optimal Synchronization of ABD Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Maciej Koutny Adequacy-Preserving Transformations of COSY Path Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Younes Souissi , Nicolas Beldiceanu Deterministic Systems of Sequential Processes: Theory and Tools. [Citation Graph (0, 0)][DBLP ] Conf ] 