Modal and temporal properties of processes

MaRDI QIDQ5942992zbMATH OpenFDO

Authors

Publication date 5 September 2001

Published in Texts in Computer Science (Search for Journal in Brave)

zbMATH Keywords

FOCUSinteractive systems

Mathematics Subject Classification ID

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Review text

The goal of this book is to provide a mathematical and logical foundation for the specification and development of interactive systems. The book is structured into four main parts. Part 1 contains the introduction and a guided four in the method for the specification and stepwise development of interactive systems (called FOCUS). Part 2 of the book is devoted to defining and building up the mathematical machinery for reasoning about streams. In part 3 is introduced the different specification techniques and styles supported by FOCUS. Three basic concepts of refinement (behavioral, interface and conditional refinement) are introduced in the last part.

Recommendations

• Specification and Development of Interactive Systems
• Logic and Algebra of Specification
• scientific article; zbMATH DE number 52331
• Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
• Reactive Systems

Cited in

(14)

• Extrapolation of real-time processes by their structural properties
• On hierarchically developing reactive systems
• A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
• Specification and Development of Interactive Systems
• Characterising behavioural equivalence: Three sides of one coin
• Progression and verification of situation calculus agents with bounded beliefs
• Specification and Verification of Multi-Agent Systems
• Model-Checking Games for Fixpoint Logics with Partial Order Models
• Decidable Extensions of Hennessy-Milner Logic
• Logics and Bisimulation Games for Concurrency, Causality and Conflict
• Algebra and logic for resource-based systems modelling
• The complexity of computing a bisimilarity pseudometric on probabilistic automata
• UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
• Size measures and alphabetic equivalence in the -calculus

This page was built for publication: Modal and temporal properties of processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5942992)