Pages that link to "Item:Q302231"
From MaRDI portal
The following pages link to Transition semantics for branching time (Q302231):
Displaying 21 items.
- Time and determinism (Q266653) (← links)
- Alternatives to histories? Employing a local notion of modal consistency in branching theories (Q488365) (← links)
- Branching-time logics repeatedly referring to states (Q1047801) (← links)
- Expressive completeness failure in branching time structures (Q1109759) (← links)
- Topological aspects of branching-time semantics (Q1419382) (← links)
- Branching time and orthogonal bisimulation equivalence (Q1884905) (← links)
- New foundations for branching space-times (Q2021566) (← links)
- The actual future is open (Q2052151) (← links)
- Back to the actual future (Q2055910) (← links)
- Modality in physics (Q2072025) (← links)
- Defining a relativity-proof notion of the present via spatio-temporal indeterminism (Q2072033) (← links)
- Branch-well-structured transition systems and extensions (Q2165211) (← links)
- An introduction to real possibilities, indeterminism, and free will: three contingencies of the debate (Q2219140) (← links)
- First-order definability of transition structures (Q2322984) (← links)
- Comparative branching-time semantics for Markov chains (Q2387196) (← links)
- From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability (Q3442402) (← links)
- Transition and cancellation in concurrency and branching time (Q4461212) (← links)
- (Q4790408) (← links)
- Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)
- Correct Hardware Design and Verification Methods (Q5897075) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900585) (← links)
