Pages that link to "Item:Q2384924"
From MaRDI portal
The following pages link to Basic observables for a calculus for global computing (Q2384924):
Displaying 8 items.
- Network-conscious \(\pi\)-calculus -- a model of Pastry (Q530841) (← links)
- A theory of system behaviour in the presence of node and link failure (Q939442) (← links)
- A semantic theory of the Internet of things (Q1706144) (← links)
- A formal approach to open multiparty interactions (Q1727996) (← links)
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics (Q2253186) (← links)
- Network Conscious π-calculus: A Concurrent Semantics (Q3178290) (← links)
- Counting the Cost in the Picalculus (Extended Abstract) (Q5166616) (← links)
- Automata, Languages and Programming (Q5716867) (← links)