[tlaplus] TLA+ and Program Snippets

[Amirhosein Sayyadabdi <amir.ahsa.2011@xxxxxxxxx>]

Hello everyone,

I am searching for examples of tiny program snippets (for example; Java classes, loops, inheritance, recursive functions, etc.) in TLA+ or PlusCal. Do you know if there is any particular source I can refer to?

I really appreciate any help you can provide.

Amirhosein Sayyadabdi

University of Isfahan

-- 
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/CAKxfy0uzWcRqDXJPmjyx-cWeNDwjykUzakcgHBB9Y2h%3DkupYeQ%40mail.gmail.com.