mCRL2-users -- Discussion point for mCRL2 toolset users
About mCRL2-users	English (USA)
mCRL2 is a formal specification language with an associated toolset. The toolset can be used for modelling, validation and verification of concurrent systems and protocols. The main website is http://www.mcrl2.org To see the collection of prior postings to the list, visit the mCRL2-users Archives.
Using mCRL2-users
To post a message to all the list members, send email to mcrl2-users@listserver.tue.nl. You can subscribe to the list, or change your existing subscription, in the sections below.
Subscribing to mCRL2-users
Subscribe to mCRL2-users by filling out the following form. You will be sent email requesting confirmation, to prevent others from gratuitously subscribing you. This is a hidden list, which means that the list of members is available only to the list administrator. Your email address:   Your name (optional):   You may enter a privacy password below. This provides only mild security, but should prevent others from messing with your subscription. Do not use a valuable password as it will occasionally be emailed back to you in cleartext. If you choose not to enter a password, one will be automatically generated for you, and it will be sent to you once you've confirmed your subscription. You can always request a mail-back of your password when you edit your personal options. Pick a password:   Reenter password to confirm:   Which language do you prefer to display your messages? English (USA)   Would you like to receive list mail batched in a daily digest? No Yes
mCRL2-users Subscribers
(The subscribers list is only available to the list administrator.) Enter your admin address and password to visit the subscribers list: Admin address: Password:    To unsubscribe from mCRL2-users, get a password reminder, or change your subscription options enter your subscription email address: If you leave the field blank, you will be prompted for your email address