Pages that link to "Item:Q2216110"
From MaRDI portal
The following pages link to The \texttt{link}-calculus for open multiparty interactions (Q2216110):
Displaying 4 items.
- A formal approach to open multiparty interactions (Q1727996) (← links)
- A logical and graphical framework for reaction systems (Q2034775) (← links)
- A process algebraic approach to reaction systems (Q2044947) (← links)
- Symbolic Semantics for Multiparty Interactions in the Link-Calculus (Q2971125) (← links)