Table of contents

  1. Front Matter
  2. Amir Pnueli, Roni Rosner
    Pages 4-17
  3. Doron Drusinsky, David Harel
    Pages 74-103
  4. Howard Barringer, Dov Gabbay
    Pages 104-105
  5. P. M. Melliar-Smith
    Pages 106-120
  6. Egidio Astesiano, Alessandro Giovini, Gianna Reggio
    Pages 140-159
  7. K. Meinke, J. V. Tucker
    Pages 161-180
  8. Fiorella De Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone
    Pages 222-236
  9. A. Bourguet-Rouger
    Pages 237-256
  10. Eike Best
    Pages 257-276
  11. Gerard Tel
    Pages 277-291
  12. Asis Goswami, Mathai Joseph
    Pages 292-306
  13. Burkhard Igel, Georg Reichwein
    Pages 307-319
  14. Udo Thalmann
    Pages 335-352
  15. Ephraim Korach, Gerard Tel, Shmuel Zaks
    Pages 353-367
  16. Younes Souissi, Nicolas Beldiceanu
    Pages 380-400
  17. Back Matter

About these proceedings


This volume contains the proceedings of CONCURRENCY 88, an international conference on formal methods for distributed systems, held October 18-19, 1988 in Hamburg. CONCURRENCY 88 responded to great interest in the field of formal methods as a means of mastering the complexity of distributed systems. In addition, the impulse was determined by the fact that the various methodological approaches, such as constructive or property oriented methods, have not had an extensive comparative analysis nor have they been investigated with respect to their possible integration and their practical implications. The following topics were addressed: Specification Languages, Models for Distributed Systems, Verification and Validation, Knowledge Based Protocol Modeling, Fault Tolerance, Distributed Databases. The volume contains 12 invited papers and 14 contributions selected by the program committee. They were presented by authors from Austria, the Federal Republic of Germany, France, Israel, Italy, the Netherlands, the United Kingdom and the United States.


Algorithms automata complexity concurrency database design distributed systems formal method formal specification knowledge base modeling real-time semantics validation verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1988
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-50403-0
  • Online ISBN 978-3-540-45999-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment