Pages that link to "Item:Q2971125"

The following pages link to Symbolic Semantics for Multiparty Interactions in the Link-Calculus (Q2971125):

Displaying 5 items.

• A formal approach to open multiparty interactions (Q1727996) (← links)
• A process algebraic approach to reaction systems (Q2044947) (← links)
• The \texttt{link}-calculus for open multiparty interactions (Q2216110) (← links)
• A constraint-based language for multiparty interactions (Q2229145) (← links)
• Slicing concurrent constraint programs (Q2409727) (← links)