Table of contents

  1. Front Matter
  2. Johan van Benthem
    Pages 1-49
  3. J. A. Bergstra, J. W. Klop
    Pages 50-122
  4. E. Allen Emerson, Jai Srinivasan
    Pages 123-172
  5. M Hennessy
    Pages 173-200
  6. Zohar Manna, Amir Pnueli
    Pages 201-284
  7. Antoni Mazurkiewicz
    Pages 285-363
  8. Glynn Winskel
    Pages 364-397
  9. Gérard Boudol, Ilaria Castellani
    Pages 411-427
  10. E. M. Clarke, I. A. Draghicescu
    Pages 428-437
  11. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    Pages 438-466
  12. K. Lodaya, R. Ramanujam, P. S. Thiagarajan
    Pages 508-522
  13. Mogens Nielsen, Uffe Engberg, Kim S. Larsen
    Pages 523-548
  14. A. Rabinovich, B. A. Trakhtenbrot
    Pages 574-602

About these proceedings

Introduction

This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions.

Keywords

distributed systems logic modeling online semantics verification

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0013019
  • Copyright Information Springer-Verlag 1989
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-51080-2
  • Online ISBN 978-3-540-46147-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Telecommunications
Aerospace