The following pages link to (Q4223013):
Displaying 7 items.
- A formal approach to open multiparty interactions (Q1727996) (← links)
- Joint chance constrained input shaping (Q2005416) (← 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 \(\pi \)-calculus (Q2842599) (← links)
- Symbolic Semantics for Multiparty Interactions in the Link-Calculus (Q2971125) (← links)
- Bisimulations in the join-calculus (Q5958770) (← links)