[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tlaplus] Re: TLA+ Reuse?
- From: Leslie Lamport <tlaplus.ll@xxxxxxxxx>
- Date: Mon, 25 Jan 2021 16:02:03 -0800 (PST)
- References: <firstname.lastname@example.org>
See this posting from June 2019.
On Monday, January 25, 2021 at 3:27:34 PM UTC-8 scott...@xxxxxxxxx wrote:
I'm brand new to TLA+ so please forgive the newbie question:
Other than examples, is it possible to structure specifications/models/modules/functions so that they can be easily reused by others? Are there any best practices and/or tooling for sharing such efforts?
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/a7798c6f-f0b7-49f3-93ff-34d1eb6f31c7n%40googlegroups.com.