Πλοήγηση ανά Θέμα "I/O Automata"
Αποτελέσματα 1-1 από 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., ...