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

[tlaplus] The Future of TLA+

From: Leslie Lamport <tlaplus.ll@xxxxxxxxx>
Date: Wed, 28 Aug 2024 04:58:39 -0700 (PDT)

The future of TLA+ is now in the hands of the TLA+ Foundation. The document The Future of TLA+ has been written to serve as a guide to how proposals to change the language and related parts of the TLA+ infrastructure such as PlusCal should be viewed.

Leslie

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/189790eb-98a3-4569-a22e-87147f23b791n%40googlegroups.com.

Follow-Ups:
- Re: [tlaplus] The Future of TLA+
  - From: Hillel Wayne

Prev by Date: [tlaplus] Question about temporal formulas definition in book Specify System(version 21-07-04)
Next by Date: Re: [tlaplus] The Future of TLA+
Previous by thread: Re: [tlaplus] Question about temporal formulas definition in book Specify System(version 21-07-04)
Next by thread: Re: [tlaplus] The Future of TLA+
Index(es):
- Date
- Thread