| 书目名称 | Specifying Message Passing and Time-Critical Systems with Temporal Logic | | 编辑 | Ron Koymans | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | 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 alsoincorporatespure 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 meansof 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 highlycritical systems such ascomputer controlled chemical plants and nuclearpowerstations.The monograph shows how standard temporal logic can beusedfor 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. | | 出版日期 | Book 1992 | | 关键词 | Formal Specification; Formale Spezifikation; Message Passing; Real-Time Systems; Sage; Temporal Logic; Tem | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-56283-4 | | isbn_softcover | 978-3-540-56283-2 | | isbn_ebook | 978-3-540-47506-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1992 |
The information of publication is updating
|
|
发表于 2025-3-21 16:38:50
