Specifying Message Passing and Time-Critical Systems with Temporal Logic
(Sprache: Englisch)
This monograph is concerned with the application of temporallogic to the areas of message passing and time-criticalsystems. Apart from the practicaluse of temporal logic forthese two application domains, the book also incorporatespure fundamental studies...
Leider schon ausverkauft
versandkostenfrei
Buch
74.89 €
Produktdetails
Produktinformationen zu „Specifying Message Passing and Time-Critical Systems with Temporal Logic “
Klappentext zu „Specifying Message Passing and Time-Critical Systems with Temporal Logic “
This monograph is concerned with the application of temporallogic to the areas of message passing and time-criticalsystems. Apart from the practicaluse of temporal logic forthese two application domains, the book also incorporatespure fundamental studies on temporal logic.The motivation to study message passing and time criticalsystems stems from their importance in practice. Messagepassing is one of the most important means of interprocesscommunication in distributed systems, either on a highlevel, as in telecommunications applications, or on a lowerlevel, as in implementations of languages like Ada. As fortime-critical systems, among the growing number of real-timeapplications there are some highly critical systems such ascomputer controlled chemical plants and nuclear powerstations.The monograph shows how standard temporal logic can be usedfor the specification of message passing systems, anddevelops a special temporal logic for reasoning aboutquantitative temporal properties.The main application areais that of distributed real-time systems.
Inhaltsverzeichnis zu „Specifying Message Passing and Time-Critical Systems with Temporal Logic “
How to specify.- A review of modal and temporal logic.- Polymodal logics with inequality.- Message passing systems.- Time-critical systems.- Summary and concluding remarks.
Bibliographische Angaben
- Autor: Ron Koymans
- 1992, 166 Seiten, Maße: 15,5 x 23,5 cm, Taschenbuch, Englisch
- Verlag: Springer
- ISBN-10: 3540562834
- ISBN-13: 9783540562832
- Erscheinungsdatum: 14.12.1992
Sprache:
Englisch
Kommentar zu "Specifying Message Passing and Time-Critical Systems with Temporal Logic"
0 Gebrauchte Artikel zu „Specifying Message Passing and Time-Critical Systems with Temporal Logic“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Specifying Message Passing and Time-Critical Systems with Temporal Logic".
Kommentar verfassen