Pages that link to "Item:Q5942992"
From MaRDI portal
The following pages link to Modal and temporal properties of processes (Q5942992):
Displaying 11 items.
- A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861) (← links)
- Progression and verification of situation calculus agents with bounded beliefs (Q310089) (← links)
- On hierarchically developing reactive systems (Q1959436) (← links)
- Characterising Behavioural Equivalence: Three Sides of One Coin (Q2888480) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- Model-Checking Games for Fixpoint Logics with Partial Order Models (Q3184685) (← links)
- Decidable Extensions of Hennessy-Milner Logic (Q3613068) (← links)
- Logics and Bisimulation Games for Concurrency, Causality and Conflict (Q3617720) (← links)
- Algebra and logic for resource-based systems modelling (Q3643362) (← links)
- The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata (Q5418964) (← links)
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC (Q6170504) (← links)
