[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Parsing Error in Consensus.tla

Thanks for the reminder.  I just corrected the error in the copy on the Web.  I still don't know how it happened, because I believe that file is one that the prover was run on.   I have newer versions that I should post.  But  I believe that the files on the Web are the ones mentioned in published paper, so they should be kept where they are.


On Monday, June 27, 2016 at 6:20:23 PM UTC-7, Andrew Wilcox wrote:
fyi, http://research.microsoft.com/en-us/um/people/lamport/tla/Consensus.tla found at http://research.microsoft.com/en-us/um/people/lamport/tla/byzpaxos.html does still contain the typo:

 <2>1. Inv /\ [Next]_vars => []Inv