Pages that link to "Item:Q939442"
From MaRDI portal
The following pages link to A theory of system behaviour in the presence of node and link failure (Q939442):
Displaying 8 items.
- Network-conscious \(\pi\)-calculus -- a model of Pastry (Q530841) (← links)
- A formal approach to open multiparty interactions (Q1727996) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← 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)
- ElixirST: a session-based type system for elixir modules (Q6052942) (← links)
- A model of actors and grey failures (Q6137831) (← links)
