PlusCal resources?

14 views
Skip to first unread message

Andrew Helwer

unread,
Sep 14, 2021, 1:56:40 PMSep 14
to tlaplus
Where can I find language standard documents and other things relating to PlusCal? I don't mean tutorials, I mean something like a BNF grammar and semantics similar to chapters 15-17 of Specifying Systems or stuff found on this site: http://lamport.azurewebsites.net/tla/tla2.html

Andrew

Reply all
Reply to author
Forward
0 new messages