Pages that link to "Item:Q1607117"
From MaRDI portal
The following pages link to Impossible futures and determinism (Q1607117):
Displaying 14 items.
- Trace- and failure-based semantics for responsiveness (Q478516) (← links)
- Fair testing (Q865623) (← links)
- Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet (Q1944909) (← links)
- Coupled similarity: the first 32 years (Q2182667) (← links)
- Axiomatizing weak simulation semantics over BCCSP (Q2453533) (← links)
- A general approach to comparing infinite-state systems with their finite-state specifications (Q2503044) (← links)
- On the Unification of Process Semantics: Equational Semantics (Q2805160) (← links)
- Axiomatizing Weak Ready Simulation Semantics over BCCSP (Q3105742) (← links)
- A Context-Free Process as a Pushdown Automaton (Q3541013) (← links)
- On Finite Bases for Weak Semantics: Failures Versus Impossible Futures (Q3599070) (← links)
- On the Unification of Process Semantics: Observational Semantics (Q3599079) (← links)
- Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences (Q5415615) (← links)
- Characterizing contrasimilarity through games, modal logic, and complexity (Q6614880) (← links)
- A game characterization for contrasimilarity (Q6643746) (← links)
