Date: Fri, 14 Jun 1996 09:46:03 +0200 To: concurrency@cwi.nl Subject: CWB mailing list announcement? From: Perdita Stevens Reply-To: Perdita.Stevens@dcs.ed.ac.uk Content-Type: text Content-Length: 1900 ============================================================================ This is just to let you know that there is now a mailing list for users of the Edinburgh Concurrency Workbench. Apologies for the repetition, to those of you who already know this because I mailed you directly. Purpose ======= cwb-users -- open list The Edinburgh Concurrency Workbench (CWB) is an automated tool which caters for the manipulation and analysis of concurrent systems. In particular, the CWB allows for various equivalence, preorder and model checking using a variety of different process semantics. The cwb-users mailing list has been set up to allow discussion related to the use of the CWB. It may be lightly moderated. More information relating to the CWB may be found on its home page, http://www.dcs.ed.ac.uk/packages/cwb How to subscribe ================ Send a mail message to cwb-users-request@dcs.ed.ac.uk with the content (NOT subject line): subscribe How to unsubscribe ================== Mail the same address, cwb-users-request@dcs.ed.ac.uk with (you guessed it) unsubscribe How to send a message to the list (or the moderator) ==================================================== Mail cwb-users@dcs.ed.ac.uk This will probably be a low traffic list, and (to start with at least) I will moderate it lightly. For example, my intention is to intercept simple questions about the use of the CWB which I can answer straightforwardly, and not to forward them to the list. I'd welcome feedback at any stage on whether this is the best policy. Obviously there is a trade-off between letting everyone hear information that might be useful, and bothering people with messages they don't want. At the very least, the list will contain announcements of future releases. What else it contains depends on what anyone sends! Enjoy! Perdita (Perdita.Stevens@dcs.ed.ac.uk, CWB maintainer.)