Pages that link to "Item:Q3719814"
From MaRDI portal
The following pages link to A modal characterization of observational congruence on finite terms of CCS (Q3719814):
Displayed 17 items.
- Local model checking in the modal mu-calculus (Q1177939) (← links)
- Reasoning about nondeterministic and concurrent actions: A process algebra approach (Q1277769) (← links)
- Predicate liftings and functor presentations in coalgebraic expression languages (Q1798785) (← links)
- Inductive synthesis of recursive processes from logical properties (Q1854392) (← links)
- Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS (Q1878715) (← links)
- The complexity of identifying characteristic formulae (Q1987735) (← links)
- Encoding safety in \(\mathrm{CLL}_R\) (Q2055960) (← links)
- Characteristic invariants in Hennessy-Milner logic (Q2182678) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- When are prime formulae characteristic? (Q2422016) (← links)
- Removing redundant refusals: minimal complete test suites for failure trace semantics (Q2687991) (← links)
- Characteristic Formulae for Timed Automata (Q2729632) (← links)
- Characteristic formulae for fixed-point semantics: a general framework (Q2883115) (← links)
- When Are Prime Formulae Characteristic? (Q2946326) (← links)
- Connection between logical and algebraic approaches to concurrent systems (Q3060196) (← links)
- Event Identifier Logic (Q5740354) (← links)
- A model of actors and grey failures (Q6137831) (← links)