The Temporal Logic of Reactive and Concurrent Systems : Specification

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...

Full description

Bibliographic Details
Main Author: Manna, Zohar (Author)
Other Involved Persons: Pnueli, Amir (Other)
Format: eBook
Language:English
Published: New York, NY s.l. : Springer New York 1992
ISBN:9781461209317
1461209315
9781461269502
1461269504
Physical Description:Online-Ressource (XIV, 427 p) online resource
DOI:10.1007/978-1-4612-0931-7
Other Editions:Show all 2 Editions
QR Code: Show QR Code