Kostenloser Versand
Bequem zahlen
Wir sind gerne für Sie da
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.
Produkteigenschaften
- Artikelnummer: 9783540562832
- Medium: Buch
- ISBN: 978-3-540-56283-2
- Verlag: Springer Berlin Heidelberg
- Erscheinungstermin: 14.12.1992
- Sprache(n): Englisch
- Auflage: 1992
- Serie: Lecture Notes in Computer Science
- Produktform: Kartoniert
- Gewicht: 283 g
- Seiten: 166
- Format (B x H x T): 155 x 235 x 11 mm
- Ausgabetyp: Kein, Unbekannt
Themen
- Mathematik | Informatik
- Mathematik
- Numerik und Wissenschaftliches Rechnen
- Computeranwendungen in der Mathematik
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Programmierung: Methoden und Allgemeines
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Programmierung: Methoden und Allgemeines
- Mathematik | Informatik
- Mathematik
- Numerik und Wissenschaftliches Rechnen
- Angewandte Mathematik, Mathematische Modelle
- Mathematik | Informatik
- Mathematik
- Numerik und Wissenschaftliches Rechnen
- Angewandte Mathematik, Mathematische Modelle