The following pages link to Breaking symmetries (Q2971075):
Displaying 12 items.
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
- Breaking symmetries with lex implications (Q1648885) (← links)
- Mixed sessions (Q2055956) (← links)
- Symmetry breaking (Q2209328) (← links)
- Distributability of mobile ambients (Q2216122) (← links)
- Unbroken \(B-L\) symmetry (Q2257243) (← links)
- The Expressive Power of Monotonic Parallel Composition (Q2802500) (← links)
- Breaking Symmetry of Interchangeable Variables and Values (Q3523071) (← links)
- General Symmetry Breaking Constraints (Q3524265) (← links)
- Symmetry breaking by deformations (Q4716506) (← links)
- Mixed Sessions (Q5041119) (← links)
- Mixed choice in session types (Q6543263) (← links)