scientific article
From MaRDI portal
Publication:3343432
zbMath0551.68034MaRDI QIDQ3343432
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)
Related Items
A logic for the specification and proof of regular controllable processes of CCS ⋮ A context dependent equivalence between processes ⋮ Characteristic invariants in Hennessy-Milner logic ⋮ Explainability of probabilistic bisimilarity distances for labelled Markov chains ⋮ Logical characterisations, rule formats and compositionality for input-output conformance simulation ⋮ A refinement calculus for specifications in Hennessy-Milner logic with recursion ⋮ Proof systems for satisfiability in Hennessy-Milner logic with recursion ⋮ Modal logics for communicating systems ⋮ Algebra of communicating processes with abstraction
