1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.DC2022★ 1 cited
Understanding Paxos and other distributed consensus algorithms
Victor Yodaiken
Paxos is a widely used and notoriously hard to understand method for solving one type of distributed consensus problem. This note provides a quick explanation of Paxos, a novel pro…
cs.FL2016
State machines for large scale computer software and systems
Victor Yodaiken
The behavior and architecture of large scale discrete state systems found in computer software and hardware can be specified and analyzed using a particular class of primitive recu…
cs.FL2015
Networks of Moore Machines
Victor Yodaiken
A product of Moore machines with feedback published in 1962 by Juris Hartmanis and a class of primitive recursive functions on finite sequences published in a textbook by Roza Pete…