Abstract is missing.
- While Waiting for the Millennium: Formal Specification and Verficiation of Concurrent Systems Now (Abstract)Leslie Lamport. 3
- A Framework for the Synthesis of Reactive ModulesAmir Pnueli, Roni Rosner. 4-17
- Modelling Knowledge and Action in Distributed SystemsJoseph Y. Halpern, Ronald Fagin. 18-32
- Requirement and Design Specification for Distributed SystemsManfred Broy. 33-62
- Data Base Distribution and Concurrency for End-Users (Abstract)Richard L. Schwartz. 63
- On Safety and Timeliness in Distributed Data ManagementDanny Dolev, H. Raymond Strong. 64-72
- An Automata-Theoretic Approach to Protocol Verification (Abstract)Moshe Y. Vardi. 73
- On the Power of Cooperative ConcurrencyDoron Drusinsky, David Harel. 74-103
- Executing Temporal Logic: Review and Prospects (Abstract)Howard Barringer, Dov M. Gabbay. 104-105
- A Graphical Representation of Interval LogicP. M. Melliar-Smith. 106-120
- Temporal Logic and Causality in Concurrent SystemsWolfgang Reisig. 121-139
- Data in a Concurrent EnvironmentEgidio Astesiano, Alessandro Giovini, Gianna Reggio. 140-159
- The Scope and Limits of Synchronous Concurrent ComputationKarl Meinke, J. V. Tucker. 163-180
- A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural EquivalencesStefania Gnesi, Paola Inverardi, Monica Nesi. 181-196
- A Top-down Step-wise Refinement Methodology for Protocol SpecificationDa-Hai Li, T. S. E. Maibaum. 197-221
- A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalenceFiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone. 222-236
- External Behaviour Equivalence between two Petri NetsA. Bourguet-Rouger. 237-256
- Weighted Basic Petri NetsEike Best. 257-276
- Total AlgorithmsGerard Tel. 277-291
- Semancitcs of Real-time Distributed ProgramsAsis Goswami, Mathai Joseph. 292-306
- An Example of Communicating Production SystemsBurkhard Igel, Georg Reichwein. 307-319
- Assertional Verification of a Majority Consensus Algorithm for Concurrency Control in Multiple Copy DatabasesNicolien J. Drost, Jan van Leeuwen. 320-334
- Analysis of ESTELLE SpecificationsUdo Thalmann. 335-352
- Optimal Synchronization of ABD NetworksEphraim Korach, Gerard Tel, Shmuel Zaks. 353-367
- Adequacy-Preserving Transformations of COSY Path ProgramsMaciej Koutny. 368-379
- Deterministic Systems of Sequential Processes: Theory and ToolsYounes Souissi, Nicolas Beldiceanu. 380-400