The Temporal Logic of Reactive and Concurrent Systems: Specification

✍ Scribed by Zohar Manna, Amir Pnueli

Publisher: Springer
Year: 1991
Tongue: English
Leaves: 443
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

The Temporal Logic of Reactive and Concu

📁 The Temporal Logic of Reactive and Concurrent Systems: Specification

✍ Zohar Manna, Amir Pnueli (auth.) 📂 Library 📅 1992 🏛 Springer-Verlag New York 🌐 English

<p>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 specifyi

Logics and models of concurrent systems

📁 Logics and models of concurrent systems

✍ Krzysztof R Apt; North Atlantic Treaty Organization. Scientific Affairs Division 📂 Library 📅 1985 🏛 Springer-Verlag 🌐 English

The challenges of problems from international programming competitions are an effective way to improve your algorithmic and coding skills and understanding. This volume uses international programming competition-type problems to motivate the study of algorithms, programming, and other topics in

Logics and Models of Concurrent Systems

📁 Logics and Models of Concurrent Systems

✍ E. M. Clarke, M. C. Browne, E. A. Emerson, A. P. Sistla (auth.), Krzysztof R. Ap 📂 Library 📅 1985 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof theoretical analogue of distributed message exchange between disjoint processes, as opposed to the interference freedom test [Owicki & Gries], being the proof theoretical analogue of concurrent communica

Logics and models of concurrent systems

📁 Logics and models of concurrent systems

✍ E. M. Clarke, M. C. Browne, E. A. Emerson, A. P. Sistla (auth.), Krzysztof R. Ap 📂 Library 📅 1985 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Specification and Verification of Concur

📁 Specification and Verification of Concurrent Systems

✍ Pierre America (auth.), C. Rattray MSc (eds.) 📂 Library 📅 1990 🏛 Springer-Verlag London 🌐 English

<p>This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasingly important role in the design and production

Specifying Message Passing and Time-Crit

📁 Specifying Message Passing and Time-Critical Systems with Temporal Logic

✍ Ron Koymans (eds.) 📂 Library 📅 1992 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>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 s