The following pages link to (Q4223013):
Displaying 6 items.
- A formal approach to open multiparty interactions (Q1727996) (← links)
- The \texttt{link}-calculus for open multiparty interactions (Q2216110) (← links)
- A constraint-based language for multiparty interactions (Q2229145) (← links)
- On the Expressive Power of Polyadic Synchronisation in π-calculus (Q2842599) (← links)
- Symbolic Semantics for Multiparty Interactions in the Link-Calculus (Q2971125) (← links)
- Bisimulations in the join-calculus (Q5958770) (← links)
