Publication:3321470
From MaRDI portal
zbMath0536.68042MaRDI QIDQ3321470
Stephen Brookes, William C. Rounds
Publication date: 1983
Hennessy-Milner logic; propositional dynamic logic; bisimilarity; programming logics; trace equivalence; failure equivalence; regular trace logic; behavioural specifications for concurrent programs; descriptive power; elementary equivalence relations; Milnor's observation equivalence; nondeterministic state transition systems
03B60: Other nonclassical logic
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
Related Items
Modal logics for communicating systems, Observation equivalence as a testing equivalence, Translations between modal logics of reactive systems, A logical characterization of observation equivalence, A refinement calculus for specifications in Hennessy-Milner logic with recursion, Proof systems for satisfiability in Hennessy-Milner logic with recursion, CCS expressions, finite state processes, and three problems of equivalence, Reasoning about networks with many identical finite state processes, A proof-theoretic characterization of observational equivalence, Determinacy \(\to\) (observation equivalence \(=\) trace equivalence), 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, Bisimulations and abstraction homomorphisms, Stable families of behavioural equivalences, Concurrent transition systems, Concurrency and atomicity, Fairness and regularity for SCCS processes