<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2007-04-26 00:00:00Arbiter Computing Actor model Computer science Software engineering Automata theory Models of computation Finite-state machine |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2007-04-26 00:00:00Arbiter Computing Actor model Computer science Software engineering Automata theory Models of computation Finite-state machine |
Add to Reading List |
Hierarchical Correctness Proofs for Distributed Algorithms Nancy A. Lynch and Mark R. Tuttle Laboratory for Computer Science Massachusetts Institute of Technology