[tlaplus] Request for review?

[Shane Miller <gshanemiller6@xxxxxxxxx>]

Good day,

I've prepared a lengthy paper on TLA with a focus on practical issues. I'm wondering if there's subscribers here who are willing to give me feedback? Find attached: first three pages which includes table of contents. Chapters 12, 13 coming. There's undoubtedly errors that need fixing.

If you're interested we can exchange information through Github:

https://github.com/gshanemiller/tla-examples

The full paper and examples are there.

Thank you!
 

-- 
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 visit https://groups.google.com/d/msgid/tlaplus/f69e71e8-e803-45f9-9211-3c1d080feb64n%40googlegroups.com.

Attachment: brief.pdf
Description: Adobe PDF document