Skip to main content
SpringerLink
Log in
Book cover

Specifying Message Passing and Time-Critical Systems with Temporal Logic

  • Book
  • © 1992

Overview

Editors:
  1. Ron Koymans
    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 651)

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 54.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 (7 chapters)

  1. Front Matter

    Download chapter PDF

  2. Introduction

    Pages 1-5

  3. How to specify

    Pages 7-11

  4. A review of modal and temporal logic

    Pages 13-37

  5. Polymodal logics with inequality

    Pages 39-63

  6. Message passing systems

    Pages 65-98

  7. Time-critical systems

    Pages 99-142

  8. Summary and concluding remarks

    Pages 143-150

  9. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. Apart from the practicaluse of temporal logic for these two application domains, the book also incorporates pure fundamental studies on temporal logic. The motivation to study message passing and time critical systems stems from their importance in practice. Message passing is one of the most important means of interprocess communication in distributed systems, either on a high level, as in telecommunications applications, or on a lower level, as in implementations of languages like Ada. As for time-critical systems, among the growing number of real-time applications there are some highly critical systems such as computer controlled chemical plants and nuclear power stations. The monograph shows how standard temporal logic can be used for the specification of message passing systems, and develops a special temporal logic for reasoning about quantitative temporal properties.The main application area is that of distributed real-time systems.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation