[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Re: Two translation and annotations work

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:

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.