[tlaplus] Re: Two translation and annotations work

[Andrew Helwer <andrew.helwer@xxxxxxxxx>]

Oh also - if you have time please do email me at andrew.helwer@xxxxxxxxx, I have some questions about possibly supporting Chinese character sets in TLA+.

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 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/b8359e65-1a95-4431-96db-912a89611c13n%40googlegroups.com.