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):
Displaying 14 items.
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation (Q1785863) (← links)
- Encoding safety in \(\mathrm{CLL}_R\) (Q2055960) (← links)
- A linear-time-branching-time spectrum for behavioral specification theories (Q2291820) (← links)
- When are prime formulae characteristic? (Q2422016) (← links)
- Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
- The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes. (Q2760238) (← links)
- When Are Prime Formulae Characteristic? (Q2946326) (← links)
- Logical Characterisations and Compositionality of Input-Output Conformance Simulation (Q2971123) (← links)
- A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories (Q2971124) (← links)
- (Q5028469) (← links)
- (Q5089283) (← links)
- (Q5101352) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897489) (← links)
- Preorder-constrained simulations for program refinement with effects (Q6666773) (← links)