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

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-50403-6
  • Copyright Information Springer-Verlag 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
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace