Copied Specifying Message Passing and Time-Critical Systems with Temporal Logic
Specifying Message Passing and Time-Critical Systems with Temporal Logic
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Acoustical Holography
$39.99
Emerging Nanomaterials
$199.99
Diffraction Optics of Complex-Structured Periodic Media
$129.00
Recent Advances in Parallel Virtual Machine and Message Passing Interface
$39.99
Entwicklung von Kundenbeziehungen
$59.99
English Language Ideologies in Korea
$99.99
Jugendkultur und Politisierung
$54.99
Vereinsrecht - Schnell erfasst
$24.99
Trust and Privacy in Digital Business
$54.99
The Parabolic Anderson Model
$129.99
Agenda HR Digitalisierung, Arbeit 4.0, New Leadership
$64.99
Wahrscheinlichkeitsrechnung und Statistik in Beispielen und Aufgaben
$44.99
Quietism, Agnosticism and Mysticism
$119.00
A Concise History of Indian Literature in English
$109.99
Double-Crush Syndrome
$109.99
Mapping Sustainability Measurement
$119.99
Autophagy and Cancer
$169.99
Logics in Artificial Intelligence
$39.99
Granddaddy's Turn
$5.96
Handbook of Food Fortification and Health
$89.00
Das Abendmahl des Leonardo da Vinci
$59.99
Olivia by Ian Falconer
$19.99
Medicinal and Aromatic Plants III
$169.99
The Varieties of Capitalism Paradigm
$84.99
Stress Response
$84.99
Mafic-ultramafic Intrusions in Beishan and Eastern Tianshan at Southern CAOB: Petrogenesis, Minerali
$84.99
Wundinfektionen in der Gefchirurgie
$64.99
Grundzge der Nichtlinearen Optimierung
$14.99
Molecular Mechanisms of Aging
$109.99
Alkoholabhngigkeit
$64.99
Karriere im Tourismus und in der Eventwirtschaft
$39.99
Wirtschaftsrecht 2
$39.99
Bad Kitty Gets a Bath
$5.21
Cardiac Surgery and Concomitant Disease
$54.99
Aktive Produktindividualisierung
$74.99
The Geological Evolution of the River Nile
$39.99
Anesthesiology: Today and Tomorrow
$39.99
Shifting Perspectives on the European Public Prosecutor's Office
$179.99
Renormalization Group Analysis of Equilibrium and Non-equilibrium Charged Systems
$109.99
Everyday Gender at Work in Taiwan
$99.99
