[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
ASCII version of TLA+ spec for Paxos?
From
: M T <
mwt...@xxxxxxxxx
>
Date
: Wed, 15 Oct 2014 18:39:57 -0700 (PDT)
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 :)
Follow-Ups
:
Re: ASCII version of TLA+ spec for Paxos?
From:
Leslie Lamport
Prev by Date:
Re: [tlaplus] Real numbers
Next by Date:
Re: ASCII version of TLA+ spec for Paxos?
Previous by thread:
Re: [tlaplus] Real numbers
Next by thread:
Re: ASCII version of TLA+ spec for Paxos?
Index(es):
Date
Thread