Temporal Logic of Reactive and Concurrent Systems : Specification

The Temporal Logic of Reactive and Concurrent Systems -- Copyright -- Preface -- Contents -- Part I Models of Concurrency -- Chapter 1 Basic Models -- Chapter 2 Modeling Real Concurrency -- Part II Specifications -- Chapter 3 Temporal Logic -- Chapter 4 Properties of Programs -- References -- Index...

Full description

Bibliographic Details
Main Author: Manna, Zohar (Author)
Other Involved Persons: Pnueli, Amir (Contributor)
Format: eBook
Language:English
Published: New York : Springer New York 1992
Edition:1st ed.
ISBN:9781461209317
1461209315
9781461269502
1461269504
Item Description:Description based on publisher supplied metadata and other sources
Physical Description:1 online resource (431 pages)
Subjects:
Other Editions:Show all 2 Editions
QR Code: Show QR Code