Pages that link to "Item:Q5896941"
From MaRDI portal
The following pages link to Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896941):
Displaying 10 items.
- Trace- and failure-based semantics for responsiveness (Q478516) (← links)
- An object based algebra for specifying a fault tolerant software architecture (Q1779322) (← links)
- Fault-tolerant multiparty session types (Q2165214) (← links)
- Distributed consensus, revisited (Q2458442) (← links)
- A theory for observational fault tolerance (Q2643332) (← links)
- The failure detector abstraction (Q2875042) (← links)
- Failure detectors in loosely named systems (Q2934333) (← links)
- Formal Model–Driven Design of Distributed Algorithms (Q5170275) (← links)
- Much Ado About Nothing? (Q5262962) (← links)
- Store locally, prove globally (Q6605367) (← links)