scientific article
From MaRDI portal
Publication:3707371
zbMath0584.68028MaRDI QIDQ3707371
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicconcurrent programstransition systemsHennessy-Milner logicbisimulation equivalenceMilner's CCS
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items (7)
Compositionality of Hennessy-Milner logic by structural operational semantics ⋮ A context dependent equivalence between processes ⋮ A refinement calculus for specifications in Hennessy-Milner logic with recursion ⋮ Proof systems for satisfiability in Hennessy-Milner logic with recursion ⋮ Compositionality and bisimulation: A negative result ⋮ Modal logics for communicating systems ⋮ A complete modal proof system for HAL: the Herbrand agent language
This page was built for publication:
