[erlang-questions] difficult concurrent programs in practice

[Gergely Buday]

Hi, 

I am interested in the verification of concurrent programs. 

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

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

- Gergely
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20160725/3cdc24d2/attachment.htm>