Concurrency 1988: Hamburg, Germany

Invited Papers

• Leslie Lamport:
  While Waiting for the Millennium: Formal Specification and Verficiation of Concurrent Systems Now (Abstract). 3
  
• Amir Pnueli, Roni Rosner:
  A Framework for the Synthesis of Reactive Modules. 4-17
  
• Joseph Y. Halpern, Ronald Fagin:
  Modelling Knowledge and Action in Distributed Systems. 18-32
  
• Manfred Broy:
  Requirement and Design Specification for Distributed Systems. 33-62
  
• Richard L. Schwartz:
  Data Base Distribution and Concurrency for End-Users (Abstract). 63
  
• Danny Dolev, H. Raymond Strong:
  On Safety and Timeliness in Distributed Data Management. 64-72
  
• Moshe Y. Vardi:
  An Automata-Theoretic Approach to Protocol Verification (Abstract). 73
  
• Doron Drusinsky, David Harel:
  On the Power of Cooperative Concurrency. 74-103
  
• Howard Barringer, Dov M. Gabbay:
  Executing Temporal Logic: Review and Prospects (Abstract). 104-105
  
• P. M. Melliar-Smith:
  A Graphical Representation of Interval Logic. 106-120
  
• Wolfgang Reisig:
  Temporal Logic and Causality in Concurrent Systems. 121-139
  
• Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
  Data in a Concurrent Environment. 140-159
  

Selected Papers

• Karl Meinke, J. V. Tucker:
  The Scope and Limits of Synchronous Concurrent Computation. 163-180
  
• Stefania Gnesi, Paola Inverardi, Monica Nesi:
  A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. 181-196
  
• Da-Hai Li, T. S. E. Maibaum:
  A Top-down Step-wise Refinement Methodology for Protocol Specification. 197-221
  
• Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone:
  A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence. 222-236
  
• A. Bourguet-Rouger:
  External Behaviour Equivalence between two Petri Nets. 237-256
  
• Eike Best:
  Weighted Basic Petri Nets. 257-276
  
• Gerard Tel:
  Total Algorithms. 277-291
  
• Asis Goswami, Mathai Joseph:
  Semancitcs of Real-time Distributed Programs. 292-306
  
• Burkhard Igel, Georg Reichwein:
  An Example of Communicating Production Systems. 307-319
  
• Nicolien J. Drost, Jan van Leeuwen:
  Assertional Verification of a Majority Consensus Algorithm for Concurrency Control in Multiple Copy Databases. 320-334
  
• Udo Thalmann:
  Analysis of ESTELLE Specifications. 335-352
  
• Ephraim Korach, Gerard Tel, Shmuel Zaks:
  Optimal Synchronization of ABD Networks. 353-367
  
• Maciej Koutny:
  Adequacy-Preserving Transformations of COSY Path Programs. 368-379
  
• Younes Souissi, Nicolas Beldiceanu:
  Deterministic Systems of Sequential Processes: Theory and Tools. 380-400