Browsing by Subject "Timed Automata"
Now showing items 1-1 of 1
-
Article
On the automated implementation of time-based Paxos using the IOA compiler
(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., ...