Skip to main content
SpringerLink
Log in

The Temporal Logic of Reactive and Concurrent Systems

Specification

  • Textbook
  • © 1992

Overview

Authors:
  1. Zohar Manna

    1. Department of Computer Science, Stanford University, Stanford, USA
      Computer Science Department, Weizmann Institute of Science, Rehovot, Israel

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Amir Pnueli

    1. Computer Science Department, Weizmann Institute of Science, Rehovot, Israel

    View author publications

    You can also search for this author in PubMed   Google Scholar

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 119.99
Price excludes VAT (USA)
  • Durable hardcover 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 (4 chapters)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Models of Concurrency

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Basic Models

      • Zohar Manna, Amir Pnueli
      Pages 3-102

    3. Modeling Real Concurrency

      • Zohar Manna, Amir Pnueli
      Pages 103-175

  3. Specifications

    1. Front Matter

      Pages 177-177
      Download chapter PDF

    2. Temporal Logic

      • Zohar Manna, Amir Pnueli
      Pages 179-273

    3. Properties of Programs

      • Zohar Manna, Amir Pnueli
      Pages 275-387

  4. Back Matter

    Pages 389-427
    Download chapter PDF
Back to top

Keywords

About this book

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems. This volume, the first of two, subtitled Specification, has a self-contained introduction to temporal logic and, more important, an introduction to the computational model for reactive programs, developed by Zohar Manna and Amir Pnueli of Stanford University and the Weizmann Institute of Science, Israel, respectively.

Authors and Affiliations

  • Department of Computer Science, Stanford University, Stanford, USA

    Zohar Manna

  • Computer Science Department, Weizmann Institute of Science, Rehovot, Israel

    Zohar Manna, Amir Pnueli

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation