The following pages link to (Q4490739):
Displaying 8 items.
- Locality and interleaving semantics in calculi for mobile processes (Q672123) (← links)
- Non-interleaving semantics for mobile processes (Q1285660) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Causality for mobile processes (Q4645219) (← links)
- Causality and true concurrency: A data-flow analysis of the Pi-Calculus (Q5096391) (← links)
- (Q5155688) (← links)
- Equations, Contractions, and Unique Solutions (Q5278202) (← links)
- Logical Mobility and Locality Types (Q5458795) (← links)