Browsing by Subject "I/O automata"
Now showing items 1-1 of 1
(2009-03-15)Strong reliability properties, such as state machine replication or virtual synchrony, are hard to implement in a scalable manner. They are typically expressed in terms of global membership views. As we argue, global ...