[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Does WF and SF statements applicable in distributed Mode?
On 09.12.20 19:27, Earnshaw wrote:
Thanks a lot, Stephan. I also want to know about the latest version
TLC's user guide, cause the relevant command and input and output
interface description I got from chapter 14 of Specifying Systems,
which is outdated. Although I can get the source code from Git, but it
would cost much times to study. So is there some available reference
documents about the latest version?
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/e1cd2235-1b81-4812-fd8c-db1adba7f922%40lemmster.de.