[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tlaplus] A new technique for composing TLA+ Specs
- From: Hillel Wayne <hwayne@xxxxxxxxx>
- Date: Tue, 18 Jun 2024 10:23:38 -0500
- User-agent: Mozilla Thunderbird
Wrote about it here: https://www.hillelwayne.com/post/composing-tla/.
Thanks to Murat and Andrew for feedback!
H
--
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/bd2813e4-2c26-4af0-b958-2a3273a93349%40gmail.com.