[erlang-questions] McErlang first public release

[Raoul Duke]

> Please take a look at https://babel.ls.fi.upm.es/trac/McErlang/  try the
> tool and send us your questions, comments, bug reports, etc.

www.cs.chalmers.se/~hanssv/doc/icfp07-McErlang.pdf

very cool! i think concurrency/distribution clearly needs model
checking to develop 'correct' systems (as opposed to ones that 'just'
handle failure dynamically). hope to get some free time (ha ha!) to
try this all out.

sincerely.