Concurrency 1988: Hamburg, Germany

Friedrich H. Vogt (Ed.): Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings. Lecture Notes in Computer Science 335 Springer 1988, ISBN 3-540-50403-6 BibTeX

@proceedings{DBLP:conf/concur/1988,
  editor    = {Friedrich H. Vogt},
  title     = {Concurrency 88: International Conference on Concurrency, Hamburg,
               FRG, October 18-19, 1988, Proceedings},
  booktitle = {Concurrency},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {335},
  year      = {1988},
  isbn      = {3-540-50403-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

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

Selected Papers

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