That's awesome, Michael! Stuff like this is certainly important & needed.--On Tuesday, June 1, 2021 at 6:36:14 PM UTC-4 hua...@xxxxxxxxx wrote:Team,These days, I tried best do some translation and annotation work with the ACTION of[ ] (<> <<Introduce TLA to China research community>> ) \/ ( <> [ ] No Time))I finished two pdf, which I feel are important ones for beginners before going read the 1994's seminal TLA ACM paper.1st: Introduction to TLA. (Lamport, 1994)2nd: Safety, Liveness and Fairness. (Lamport, 2019)Wish my non-profit/educational work do good to the community!Michael AT California
You received this message because you are subscribed to a topic in the Google Groups "tlaplus" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/tlaplus/7AVYezquUZI/unsubscribe.
To unsubscribe from this group and all its topics, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/a2f652ae-cb1c-44bd-858c-faa46ba6880an%40googlegroups.com.