Modal and temporal properties of processes
From MaRDI portal
Publication:5942992
zbMath0981.68114MaRDI QIDQ5942992
No author found.
Publication date: 5 September 2001
Published in: Texts in Computer Science (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Temporal logic (03B44)
Related Items
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases ⋮ Characterising Behavioural Equivalence: Three Sides of One Coin ⋮ Specification and Verification of Multi-Agent Systems ⋮ Progression and verification of situation calculus agents with bounded beliefs ⋮ Model-Checking Games for Fixpoint Logics with Partial Order Models ⋮ UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC ⋮ On hierarchically developing reactive systems ⋮ The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata ⋮ Decidable Extensions of Hennessy-Milner Logic ⋮ Logics and Bisimulation Games for Concurrency, Causality and Conflict ⋮ Algebra and logic for resource-based systems modelling