[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: non-atomic assignments (noob question)
From
: Leslie Lamport <
tlapl...@xxxxxxxxx
>
Date
: Sun, 22 Oct 2017 23:14:09 -0700 (PDT)
References
: <
e8f5f376-d4fd-421f-971d-b8e2ad1a390b@googlegroups.com
>
For a different way of representing non-atomic assignments, see
the specification of the Bakery algorithm at
http://lamport.azurewebsites.net/tla/boulangerie.html
That way captures the semantics of safe registers, defined in
http://lamport.azurewebsites.net/pubs/pubs.html#interprocess
Leslie
References
:
non-atomic assignments (noob question)
From:
Michael Slominski
Prev by Date:
Re: [tlaplus] non-atomic assignments (noob question)
Next by Date:
New to TLA+: Questions about content in video courses 5 & 6
Previous by thread:
Re: [tlaplus] non-atomic assignments (noob question)
Next by thread:
New to TLA+: Questions about content in video courses 5 & 6
Index(es):
Date
Thread