scientific article
From MaRDI portal
Publication:3028984
zbMath0626.03019MaRDI QIDQ3028984
Orna Grumberg, M. C. Browne, Edmund M. Clarke
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
polynomial algorithmbisimulationtemporal logicsfinite Kripke structurereasoning about concurrent systemsshuttering
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)
Related Items (9)
Characteristic invariants in Hennessy-Milner logic ⋮ To be announced ⋮ SnS can be modally characterized ⋮ Refinement modal logic ⋮ A model checker for linear time temporal logic ⋮ Semantics for knowledge and change of awareness ⋮ Encapsulating deontic and branching time specifications ⋮ Positive announcements ⋮ On the Definability of Simulability and Bisimilarity by Finite Epistemic Models
This page was built for publication:
