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
  15. Colin Stirling
    Pages 660-672
  16. M. W. Shields
    Pages 673-689
  17. Wolfgang Thomas
    Pages 690-713

About these proceedings


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.


distributed systems logic modeling online semantics verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 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
  • Buy this book on publisher's site