The following pages link to (Q4035238):
Displaying 5 items.
- Locality and interleaving semantics in calculi for mobile processes (Q672123) (← links)
- Bisimulation and action refinement (Q685407) (← links)
- A format for semantic equivalence comparison (Q1884897) (← links)
- The limit of splitn-language equivalence (Q4645217) (← links)
- Bounded concurrency (Q5055935) (← links)