Two translation and annotations work

28 views
Skip to first unread message

Huailin

unread,
Jun 1, 2021, 6:36:14 PMJun 1
to tlaplus
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
TLA Safety-Liveness-Fairness(Chinese Version).pdf
Introduction to TLA(Chinese Version).pdf

Andrew Helwer

unread,
Jun 2, 2021, 8:08:26 AMJun 2
to tlaplus
That's awesome, Michael! Stuff like this is certainly important & needed.

Andrew Helwer

unread,
Jun 2, 2021, 8:10:14 AMJun 2
to tlaplus
Oh also - if you have time please do email me at andrew...@gmail.com, 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...@gmail.com wrote:

Huailin

unread,
Jun 2, 2021, 10:29:14 PMJun 2
to tla...@googlegroups.com
Very encouraging. When I was a PhD student, it was Lamport’s paper(The Clock One) that enlightened me. I feel I and lots of people are indeed in debt to Lamport:)

It is time for me to contribute something that I could accomplish:)


--
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+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/a2f652ae-cb1c-44bd-858c-faa46ba6880an%40googlegroups.com.
Reply all
Reply to author
Forward
0 new messages