<div class="gmail_quote">On Wed, Apr 1, 2009 at 6:49 PM, Raoul Duke <span dir="ltr"><<a href="mailto:raould@gmail.com" target="_blank">raould@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">

<div>> Please take a look at <a href="https://babel.ls.fi.upm.es/trac/McErlang/" target="_blank">https://babel.ls.fi.upm.es/trac/McErlang/</a>  try the<br>
> tool and send us your questions, comments, bug reports, etc.<br>
<br>
</div><a href="http://www.cs.chalmers.se/%7Ehanssv/doc/icfp07-McErlang.pdf" target="_blank">www.cs.chalmers.se/~hanssv/doc/icfp07-McErlang.pdf</a><br>
<br>
very cool! i think concurrency/distribution clearly needs model<br>
checking to develop 'correct' systems (as opposed to ones that 'just'<br>
handle failure dynamically). hope to get some free time (ha ha!) to<br>
try this all out.</blockquote><div><br>I just read the tutorials and presentations on the site and I *have* to say I really admire the work you've done with McErlang!<br>Congrats! :)<br><br>From what I can tell, the best way to get an overview of McErlang (without wasting too much of that ethereal free time :)) is this presentation:<br>
<a href="https://babel.ls.fi.upm.es/trac/McErlang/attachment/wiki/talks/costDec2008.pdf" target="_blank">https://babel.ls.fi.upm.es/trac/McErlang/attachment/wiki/talks/costDec2008.pdf</a>.<br>I think this sums it up quite nicely:<br>
<div style="margin-left: 40px;">[McErlang]"An alternative implementation of Erlang for testing!"<br></div><br>(writting this got me hungry...)<br><br>/Davide :)<br></div></div>