Overview

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.

Full Product Details

Author:   Ron Koymans
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   1992 ed.
Volume:   651
Dimensions:   Width: 15.50cm , Height: 0.90cm , Length: 23.30cm
Weight:   0.590kg
ISBN:  

9783540562832

ISBN 10:   3540562834
Pages:   166
Publication Date:   14 December 1992
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions