Specifying Message Passing and Time-Critical Systems with Temporal Logic by Ron KoymansSpecifying Message Passing and Time-Critical Systems with Temporal Logic by Ron Koymans

Specifying Message Passing and Time-Critical Systems with Temporal Logic

byRon Koymans

Paperback | December 14, 1992

Pricing and Purchase Info

$114.32 online 
$128.95 list price save 11%
Earn 572 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Specifying Message Passing and Time-Critical Systems with Temporal LogicFormat:PaperbackDimensions:172 pages, 9.17 × 6.1 × 0.07 inPublished:December 14, 1992Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540562834

ISBN - 13:9783540562832

Look for similar items by category:

Reviews

Table of Contents

How to specify.- A review of modal and temporal logic.- Polymodal logics with inequality.- Message passing systems.- Time-critical systems.- Summary and concluding remarks.