Browsing by Author "Hadjiprocopiou, Procopis"
Now showing items 1-1 of 1
-
Article
On the automated implementation of time-based Paxos using the IOA compiler
Georgiou, Chryssis; Hadjiprocopiou, Procopis; Musiał, Peter M. (2010)Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been successfully used in the industry (eg., ...