Pages that link to "Item:Q2883115"
From MaRDI portal
The following pages link to Characteristic formulae for fixed-point semantics: a general framework (Q2883115):
Displaying 14 items.
- Characteristic formulae for processes with divergence (Q1322469) (← links)
- The complexity of identifying characteristic formulae (Q1987735) (← links)
- Encoding safety in \(\mathrm{CLL}_R\) (Q2055960) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- When are prime formulae characteristic? (Q2422016) (← links)
- Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
- Removing redundant refusals: minimal complete test suites for failure trace semantics (Q2687991) (← links)
- A General Framework for Probabilistic Characterizing Formulae (Q2891432) (← links)
- Semantic characterization of Kracht formulas (Q2904056) (← links)
- (Q4580326) (← links)
- (Q4623261) (← links)
- Characterizations of the stable semantics by partial evaluation (Q5101443) (← links)
- Characteristic formulae for fixed-point semantics: a general framework (Q5146592) (← links)
- On recursive operations over logic LTS (Q5740660) (← links)