Results: 3
Refined quorum systems.
- Published in:
- Distributed Computing, 2010, v. 23, n. 1, p. 1, doi. 10.1007/s00446-010-0103-7
- By:
- Publication type:
- Article
On the performance of Dijkstra’s third self-stabilizing algorithm for mutual exclusion and related algorithms.
- Published in:
- Distributed Computing, 2010, v. 23, n. 1, p. 43, doi. 10.1007/s00446-010-0104-6
- By:
- Publication type:
- Article
A spatial equational logic for the applied π-calculus.
- Published in:
- Distributed Computing, 2010, v. 23, n. 1, p. 61, doi. 10.1007/s00446-010-0112-6
- By:
- Publication type:
- Article