[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
ASCII version of TLA+ spec for Paxos?
I am learning TLA+. Does anyone know where I can find an ASCII version of TLA+ spec for the original Paxos?(not fast Paxos) I heard it is only 40-line. I tried web searches but was not able to find one.
Or I can use it as an exercise too :)