Volume 13, Issue 3 | Distributed Computing

Search all Distributed Computing articles

Volume 13, Issue 3

July 2000

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

Automatic verification for a class of distributed systems
G. Manduchi
M. Moro
Original articles Pages: 127 - 143
A note on knowledge-based programs and specifications
Joseph Y. Halpern
Original articles Pages: 145 - 153
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
Anna Pogosyants
Roberto Segala
Nancy Lynch
Original articles Pages: 155 - 186