The following pages link to Universal axioms for bisimulations (Q685411):
Displaying 14 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)
- Pierpaolo Degano (Q3460854) (← links)
- Ugo Montanari and Concurrency Theory (Q3507376) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Extended transition systems for parametric bisimulation (Q4630292) (← links)
- Read-write causality (Q5096915) (← links)
- A parametric approach to localities (Q5204352) (← links)
- Proved trees (Q5204353) (← links)
