The following pages link to (Q3359754):
Displaying 6 items.
- Location equivalence in a parametric setting (Q672708) (← links)
- Universal axioms for bisimulations (Q685411) (← links)
- Semantic domains of timed event structures (Q840017) (← links)
- Timing and causality in process algebra (Q1924998) (← links)
- Concurrent bisimulations in Petri nets (Q2639636) (← links)
- Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems (Q3449627) (← links)
