[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: Parsing Error in Consensus.tla
From
: Andrew Wilcox <
andrew...@xxxxxxxxx
>
Date
: Mon, 27 Jun 2016 18:20:22 -0700 (PDT)
References
: <
3192db97-2a0c-4dc0-aac8-094340086a00@googlegroups.com
> <
f729b07c-64a8-4a60-9674-cffc42620b8f@googlegroups.com
>
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
Follow-Ups
:
Re: Parsing Error in Consensus.tla
From:
Leslie Lamport
References
:
Parsing Error in Consensus.tla
From:
Christian Spann
Re: Parsing Error in Consensus.tla
From:
Leslie Lamport
Prev by Date:
The quantity of mathematics
Next by Date:
Re: [Dr. TLA+ Series] Paxos - Andrew Helwer (June 22nd, 10-11:30am PDT)
Previous by thread:
Re: Parsing Error in Consensus.tla
Next by thread:
Re: Parsing Error in Consensus.tla
Index(es):
Date
Thread