Pages that link to "Item:Q2838240"
From MaRDI portal
The following pages link to Unifying the Linear Time-Branching Time Spectrum of Process Semantics (Q2838240):
Displayed 9 items.
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation (Q1785863) (← links)
- Encoding safety in \(\mathrm{CLL}_R\) (Q2055960) (← links)
- When are prime formulae characteristic? (Q2422016) (← links)
- Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
- When Are Prime Formulae Characteristic? (Q2946326) (← links)
- Logical Characterisations and Compositionality of Input-Output Conformance Simulation (Q2971123) (← links)
- (Q5028469) (← links)
- (Q5089283) (← links)
- (Q5101352) (← links)