Ravichandran, A. ; Shyamasundar, R. K. (1986) Correctness proof for the majority consensus algorithm Information Sciences, 38 (3). pp. 213-227. ISSN 0020-0255
Full text not available from this repository.
Official URL: http://www.sciencedirect.com/science/article/pii/0...
Related URL: http://dx.doi.org/10.1016/0020-0255(86)90022-8
Abstract
We give a formal proof of correctness of the Thomas majority consensus algorithm using temporal logic.
| Item Type: | Article |
|---|---|
| Source: | Copyright of this article belongs to Elsevier Science. |
| ID Code: | 56574 |
| Deposited On: | 24 Aug 2011 10:57 |
| Last Modified: | 24 Aug 2011 10:57 |
Repository Staff Only: item control page
