The following pages link to CONCUR 2003 - Concurrency Theory (Q5900579):
Displaying 8 items.
- A theory of system behaviour in the presence of node and link failure (Q939442) (← links)
- An object based algebra for specifying a fault tolerant software architecture (Q1779322) (← links)
- A simple proof of a simple consensus algorithm (Q1825626) (← links)
- Process calculi as a tool for studying coordination, contracts and session types (Q1987732) (← links)
- Fault-tolerant multiparty session types (Q2165214) (← links)
- Distributed consensus, revisited (Q2458442) (← links)
- Much Ado About Nothing? (Q5262962) (← links)
- Store locally, prove globally (Q6605367) (← links)