Skip to main content
SpringerLink
Log in

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

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

  • Conference proceedings
  • © 1989

Overview

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)

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 papers)

  1. Front Matter

    Download chapter 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

  9. A logic for the description of behaviours and properties of concurrent systems

    • A. Bouajjani, S. Graf, J. Sifakis
    Pages 398-410

  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

  13. Modeling concurrency by partial orders and nonlinear transition systems

    • Haim Gaifman
    Pages 467-488

  14. An efficient verification method for parallel and distributed programs

    • Shmuel Katz, Doron Peled
    Pages 489-507

  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

  17. Strong bisimilarity on nets: A new concept for comparing net semantics

    • Ernst-Rüdiger Olderog
    Pages 549-573

  18. Nets of processes and data flow

    • A. Rabinovich, B. A. Trakhtenbrot
    Pages 574-602

  19. Towards a temporal logic for causality and choice in distributed systems

    • Wolfgang Reisig
    Pages 603-627

  20. Correctness and full abstraction of metric semantics for concurrency

    • J. J. M. M. Rutten
    Pages 628-659
Back to top

Keywords

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation