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
LEADER 03133cam a22005172 4500
001 775317179
003 DE-627
005 20200121022056.0
007 cr uuu---uuuuu
008 140106s1992 xx |||||o 00| ||eng c
020 |a 9781461209317  |9 978-1-4612-0931-7 
024 7 |a 10.1007/978-1-4612-0931-7  |2 doi 
035 |a (DE-627)775317179 
035 |a (DE-599)GBV775317179 
035 |a (DE-He213)978-1-4612-0931-7 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XD-US 
050 0 |a TK7874.6 
082 0 |a 004.6  |2 23 
100 1 |a Manna, Zohar  |e author  |4 aut 
245 1 4 |a The Temporal Logic of Reactive and Concurrent Systems  |b Specification  |c by Zohar Manna, Amir Pnueli 
264 1 |a New York, NY  |a s.l.  |b Springer New York  |c 1992 
300 |a Online-Ressource (XIV, 427 p)  |b online resource 
336 |a nicht spezifiziert  |b zzz  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
501 |a I: Models of Concurrency1: Basic Models -- 2: Modeling Real Concurrency -- II: Specifications -- 3: Temporal Logic -- 4: Properties of Programs -- References -- Index to Symbols -- General Index. 
520 |a 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 
533 |f Springer eBook Collection. Computer Science 
700 1 |a Pnueli, Amir  |e author  |4 oth 
776 1 |z 9781461269502  |9 978-1-4612-6950-2 
856 4 0 |u http://dx.doi.org/10.1007/978-1-4612-0931-7  |x Resolving-System  |z Lizenzpflichtig  |3 Volltext 
912 |a ZDB-2-SCS  |b 1992 
912 |a ZDB-2-BAE 
912 |a GBV_ILN_60 
912 |a SYSFLAG_1 
912 |a GBV_KXP 
912 |a GBV_ILN_130 
951 |a BO 
980 |2 60  |1 01  |b 1600032508  |h SpringerLink  |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.  |k Nur für Angehörige der HSU: Volltextzugang von außerhalb des Campus mit Anmeldung über Shibboleth mit Ihrer Bibliothekskennung  |x 0705  |y z  |z 09-02-16 
980 |2 130  |1 01  |b 1500473960  |h OLR-SBA  |k Vervielfältigungen (z. B. Kopien, Downloads) nur für den eigenen wissenschaftlichen Gebrauch. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots  |x 0700  |y z  |z 29-08-14 
981 |2 60  |1 01  |y Volltextzugang Campus  |r http://dx.doi.org/10.1007/978-1-4612-0931-7 
981 |2 130  |1 01  |r http://dx.doi.org/10.1007/978-1-4612-0931-7 
995 |2 60  |1 01  |a SpringerLink 
995 |2 130  |1 01  |a OLR-SBA