A modal characterization of observational congruence on finite terms of CCS

DOI10.1016/S0019-9958(86)80031-6zbMath0591.68031MaRDI QIDQ3719814

Susanne Graf, Joseph Sifakis

Publication date: 1986

Published in: Information and Control (Search for Journal in Brave)

zbMATH Keywords

translation; CCS; observational congruence; modal language

Mathematics Subject Classification ID

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