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

Re: Symmetry and Liveness

From: Y2i <yur...@xxxxxxxxx>
Date: Fri, 22 May 2015 22:23:26 -0700 (PDT)
Cc: yur...@xxxxxxxxx
References: <af8807eb-54a0-48d8-9e0f-5f5e12e288e8@googlegroups.com> <e55569e8-e281-4f22-8ebc-46798d12157c@googlegroups.com>

Thank you for taking your time to respond, Leslie. I did not realize it would be a question on an advanced topic while asking it late at night. If you think it is worth your time, I'll be looking forward to your next post here.

Yuri

References:
- Symmetry and Liveness
  - From: Y2i
- Re: Symmetry and Liveness
  - From: Leslie Lamport

Prev by Date: Contract an TLAPLUS
Next by Date: Re: [tlaplus] TLA+ wikipedia article
Previous by thread: Re: Symmetry and Liveness
Next by thread: Re: Symmetry and Liveness
Index(es):
- Date
- Thread