[tlaplus] Two translation and annotations work

[Huailin <huailin@xxxxxxxxx>]

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/cdab7bbf-3c7e-4d1d-b37c-22259e4e500fn%40googlegroups.com.

Attachment: TLA Safety-Liveness-Fairness(Chinese Version).pdf
Description: Adobe PDF document

Attachment: Introduction to TLA(Chinese Version).pdf
Description: Adobe PDF document