TLAPlus-Users -- This is a discussion group for users of the TLA+ specification language. | |
|
|
About TLAPlus-Users | |
This is a discussion group for users of the TLA+ specification language, the PlusCal algorithm language, and their associated tools.
To see the collection of prior postings to the list, visit the TLAPlus-Users Archives. |
|
Using TLAPlus-Users | |
To post a message to all the list members, send email to
tlaplus-users@lists.gforge.inria.fr.
You can subscribe to the list, or change your existing subscription, in the sections below. |
|
Subscribing to TLAPlus-Users | |
Subscribe to TLAPlus-Users by filling out the following form. You will be sent email requesting confirmation, to prevent others from gratuitously subscribing you. This is a private list, which means that the list of members is not available to non-members. | |
TLAPlus-Users Subscribers | |
|
![]() version 2.1.18 |
![]() |
![]() |
![]() |