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

Ausführliche Beschreibung

Bibliographische Detailangaben
1. Verfasser: Manna, Zohar (VerfasserIn)
Weitere beteiligte Personen: Pnueli, Amir (BerichterstatterIn)
Format: E-Book
Sprache:English
Veröffentlicht: New York, NY s.l. : Springer New York 1992
ISBN:9781461209317
1461209315
9781461269502
1461269504
Umfang:Online-Ressource (XIV, 427 p) online resource
DOI:10.1007/978-1-4612-0931-7
Andere Ausgaben:Alle 2 Ausgaben anzeigen
QR-Code: QR-Code anzeigen