A modal characterization of observational congruence on finite terms of CCS
From MaRDI portal
Publication:3719814
DOI10.1016/S0019-9958(86)80031-6zbMath0591.68031MaRDI QIDQ3719814
Publication date: 1986
Published in: Information and Control (Search for Journal in Brave)
68N25: Theory of operating systems
Related Items
Event Identifier Logic, A model of actors and grey failures, Local model checking in the modal mu-calculus, Reasoning about nondeterministic and concurrent actions: A process algebra approach, Predicate liftings and functor presentations in coalgebraic expression languages, Inductive synthesis of recursive processes from logical properties, Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS, The complexity of identifying characteristic formulae, Encoding safety in \(\mathrm{CLL}_R\), Characteristic invariants in Hennessy-Milner logic, Logical characterization of branching metrics for nondeterministic probabilistic transition systems, When are prime formulae characteristic?, Removing redundant refusals: minimal complete test suites for failure trace semantics, Characteristic Formulae for Timed Automata, Characteristic formulae for fixed-point semantics: a general framework, When Are Prime Formulae Characteristic?, Connection between logical and algebraic approaches to concurrent systems