Erweiterte
Suche ›

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Springer Berlin,
Buch
74,89 € Lieferbar in 5-7 Tagen

Kurzbeschreibung

This monograph is concerned with the application of temporal
logic to the areas of message passing and time-critical
systems. Apart from the practicaluse of temporal logic for
these two application domains, the book also incorporates
pure fundamental studies on temporal logic.
The motivation to study message passing and time critical
systems stems from their importance in practice. Message
passing is one of the most important means of interprocess
communication in distributed systems, either on a high
level, as in telecommunications applications, or on a lower
level, as in implementations of languages like Ada. As for
time-critical systems, among the growing number of real-time
applications there are some highly critical systems such as
computer controlled chemical plants and nuclear power
stations.
The monograph shows how standard temporal logic can be used
for the specification of message passing systems, and
develops a special temporal logic for reasoning about
quantitative temporal properties.The main application area
is that of distributed real-time systems.

Details
Schlagworte

Titel: Specifying Message Passing and Time-Critical Systems with Temporal Logic
Autoren/Herausgeber: Ron Koymans
Aus der Reihe: Lecture Notes in Computer Science
Ausgabe: 1992

ISBN/EAN: 9783540562832

Seitenzahl: 166
Format: 23,3 x 15,5 cm
Produktform: Taschenbuch/Softcover
Gewicht: 590 g
Sprache: Englisch

buchhandel.de - Newsletter
Möchten Sie sich für den Newsletter anmelden?


Bitte geben Sie eine gültige E-Mail-Adresse ein.
Lieber nicht