scientific article
From MaRDI portal
Publication:3321470
zbMath0536.68042MaRDI QIDQ3321470
Stephen Brookes, William C. Rounds
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hennessy-Milner logicpropositional dynamic logicbisimilarityprogramming logicstrace equivalencefailure equivalenceregular trace logicbehavioural specifications for concurrent programsdescriptive powerelementary equivalence relationsMilnor's observation equivalencenondeterministic state transition systems
Other nonclassical logic (03B60) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items
Bisimilar and logically equivalent programs in PDL with parallel operator, 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, 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, Verification of asynchronous systems with an unspecified component, Compositionality in state space verification methods, Fairness and regularity for SCCS processes, Translations between modal logics of reactive systems, Modal logics for communicating systems, Observation equivalence as a testing equivalence, A proof-theoretic characterization of observational equivalence, Determinacy \(\to\) (observation equivalence \(=\) trace equivalence), A logical characterization of observation equivalence, Algebra of communicating processes with abstraction
