The following pages link to Breaking symmetries (Q2971075):
Displaying 6 items.
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
- Mixed sessions (Q2055956) (← links)
- Distributability of mobile ambients (Q2216122) (← links)
- The Expressive Power of Monotonic Parallel Composition (Q2802500) (← links)
- Mixed Sessions (Q5041119) (← links)
- Mixed choice in session types (Q6543263) (← links)
