The following pages link to (Q3030238):
Displaying 8 items.
- Universal axioms for bisimulations (Q685411) (← links)
- Step semantics for ``true'' concurrency with recursion (Q916408) (← links)
- Concurrency and atomicity (Q1124366) (← links)
- Causal automata (Q1194329) (← links)
- Analysis of equivalence relations of event structures with continuous time (Q1592080) (← links)
- Composition methods for constructing characteristic formulas for dense-time models (Q1938922) (← links)
- Testing equivalences of time Petri nets (Q2217206) (← links)
- Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence) (Q2638769) (← links)
