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

Re: Temporal property

From: Leslie Lamport <tlapl...@xxxxxxxxx>
Date: Wed, 2 Nov 2016 18:45:16 -0700 (PDT)
References: <1985f13e-5abc-40b5-b937-6b1517dee9fc@googlegroups.com> <18644216-d189-4742-a4be-08127a19a702@googlegroups.com>

Your questions seem to indicate that you have just seen a little bit about TLA+. Please tell us what you have read so far about TLA+ so we can suggest what you should do to learn more about it.

Leslie Lamport

Follow-Ups:
- Re: [tlaplus] Re: Temporal property
  - From: VITALIY MEZHUYEV .

References:
- Temporal property
  - From: vit . . .
- Re: Temporal property
  - From: vit . . .

Prev by Date: Re: Temporal property
Next by Date: Re: [tlaplus] Re: Temporal property
Previous by thread: Re: Temporal property
Next by thread: Re: [tlaplus] Re: Temporal property
Index(es):
- Date
- Thread