The following pages link to Universal axioms for bisimulations (Q685411):
Displaying 7 items.
- Locality and interleaving semantics in calculi for mobile processes (Q672123) (← links)
- Location equivalence in a parametric setting (Q672708) (← links)
- Automatic verification of distributed systems: the process algebra approach. (Q960505) (← links)
- Interactive foundations of computing (Q1127523) (← links)
- A static view of localities (Q1329199) (← links)
- Automatizing parametric reasoning on distributed concurrent systems (Q1346610) (← links)
- Towards a unified view of bisimulation: A comparative study (Q1575240) (← links)
