Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1989

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988

Editors:

  1. J. W. Bakker
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. W. -P. Roever
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. G. Rozenberg
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 354)

Sections

Buy it now

Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (22 papers)

  1. Front Matter

    PDF

  2. Time, logic and computation

    • Johan van Benthem
    Pages 1-49

  3. Process theory based on bisimulation semantics

    • J. A. Bergstra, J. W. Klop
    Pages 50-122

  4. Branching time temporal logic

    • E. Allen Emerson, Jai Srinivasan
    Pages 123-172

  5. Observing processes

    • M Hennessy
    Pages 173-200

  6. The anchored version of the temporal framework

    • Zohar Manna, Amir Pnueli
    Pages 201-284

  7. Basic notions of trace theory

    • Antoni Mazurkiewicz
    Pages 285-363

  8. An introduction to event structures

    • Glynn Winskel
    Pages 364-397

  10. Permutation of transitions: An event structure semantics for CCS and SCCS

    • Gérard Boudol, Ilaria Castellani
    Pages 411-427

  11. Expressibility results for linear-time and branching-time logics

    • E. M. Clarke, I. A. Draghicescu
    Pages 428-437

  12. Partial orderings descriptions and observations of nondeterministic concurrent processes

    • Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    Pages 438-466

  15. A logic for distributed transition systems

    • K. Lodaya, R. Ramanujam, P. S. Thiagarajan
    Pages 508-522

  16. Fully abstract models for a process language with refinement

    • Mogens Nielsen, Uffe Engberg, Kim S. Larsen
    Pages 523-548

  18. Nets of processes and data flow

    • A. Rabinovich, B. A. Trakhtenbrot
    Pages 574-602
Back to top

About this book

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation