The Temporal Logic of Reactive and Concurrent Systems


  • Zohar Manna
  • Amir Pnueli

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Models of Concurrency

    1. Front Matter
      Pages 1-1
    2. Zohar Manna, Amir Pnueli
      Pages 3-102
    3. Zohar Manna, Amir Pnueli
      Pages 103-175
  3. Specifications

    1. Front Matter
      Pages 177-177
    2. Zohar Manna, Amir Pnueli
      Pages 179-273
    3. Zohar Manna, Amir Pnueli
      Pages 275-387
  4. Back Matter
    Pages 389-427

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.


Variable concurrency logic modeling petri net real-time real-time system semantics

Authors and affiliations

  • Zohar Manna
    • 1
    • 2
  • Amir Pnueli
    • 2
  1. 1.Department of Computer ScienceStanford UniversityStanfordUSA
  2. 2.Computer Science DepartmentWeizmann Institute of ScienceRehovotIsrael

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag New York, Inc. 1992
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4612-6950-2
  • Online ISBN 978-1-4612-0931-7
  • Buy this book on publisher's site