Pages that link to "Item:Q3178290"
From MaRDI portal
The following pages link to Network Conscious π-calculus: A Concurrent Semantics (Q3178290):
Displaying 7 items.
- Network-conscious \(\pi\)-calculus -- a model of Pastry (Q530841) (← links)
- 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)
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics (Q2253186) (← links)
- Symbolic Semantics for Multiparty Interactions in the Link-Calculus (Q2971125) (← links)
- Network Conscious π-calculus: A Concurrent Semantics (Q3178290) (← links)