[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: getting started with tla+, are there bakery algo/election with leases examples I could follow?
From
: Leslie Lamport <
tlapl...@xxxxxxxxx
>
Date
: Sat, 11 Feb 2017 16:14:51 -0800 (PST)
References
: <
ea19f680-ee83-42cb-9d59-597d73d9eb07@googlegroups.com
>
You can find a link to a PlusCal spec of the Bakery algorithm at
http://lamport.azurewebsites.net/tla/boulangerie.html
. The TLA+ translation is, of course, a TLA+ spec of the algorithm.
Leslie
References
:
getting started with tla+, are there bakery algo/election with leases examples I could follow?
From:
Jason Aten
Prev by Date:
Re: Composing modules written in PlusCal
Next by Date:
Re: [tlaplus] I've been working on a TLA+ guide
Previous by thread:
getting started with tla+, are there bakery algo/election with leases examples I could follow?
Next by thread:
Is it possible to TLA+ (and PlusCal) to check complex models?
Index(es):
Date
Thread