|
Journals in DBLP
- G. Manduchi, M. Moro
Automatic verification for a class of distributed systems. [Citation Graph (0, 0)][DBLP] Distributed Computing, 2000, v:13, n:3, pp:127-143 [Journal]
- Joseph Y. Halpern
A note on knowledge-based programs and specifications. [Citation Graph (0, 0)][DBLP] Distributed Computing, 2000, v:13, n:3, pp:145-153 [Journal]
- Anna Pogosyants, Roberto Segala, Nancy A. Lynch
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study. [Citation Graph (0, 0)][DBLP] Distributed Computing, 2000, v:13, n:3, pp:155-186 [Journal]
|