[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
[tlaplus] TLC Name
From
: Amir Hossein Sayyad Abdi <
amir.ahsa.2011@xxxxxxxxx
>
Date
: Fri, 16 Aug 2019 19:51:49 +0430
Hi everyone,
I would like to know what does the name "TLC" stand for?
AmirHossein
--
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/CAKxfy0vQaARc%2BFj84VM2%3DA6GvtmgxhuWWqgbHZez9L%3Dodvg9GQ%40mail.gmail.com
.
Prev by Date:
[tlaplus] Re: Ideas for model-checking probabilistic consensus systems?
Next by Date:
[tlaplus] Difference between TLA and TLA+
Previous by thread:
[tlaplus] Re: Help with a TLAPS proof for a refinement involving records (and a Proof Decomposition bug)
Next by thread:
[tlaplus] Difference between TLA and TLA+
Index(es):
Date
Thread