Publication:3343432
From MaRDI portal
zbMath0551.68034MaRDI QIDQ3343432
Publication date: 1984
03B45: Modal logic (including the logic of norms)
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
68N25: Theory of operating systems
Related Items
Modal logics for communicating systems, A refinement calculus for specifications in Hennessy-Milner logic with recursion, Proof systems for satisfiability in Hennessy-Milner logic with recursion, Algebra of communicating processes with abstraction, A logic for the specification and proof of regular controllable processes of CCS, A context dependent equivalence between processes