[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.