
<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /></head><body style='font-size: 10pt; font-family: Verdana,Geneva,sans-serif'>

<p>Hi,</p>

<p>I am interested in the verification of concurrent programs.</p>

<p>Are there papers/blog posts discussing concurrent Erlang programs that occur in practice and are difficult to get right?</p>

<p>I know of ConcuError but feel free to point to any literature, I might not know it.</p>

<p>- Gergely</p>

<p><br /></p>


</body></html>