[erlang-questions] difficult concurrent programs in practice

Gergely Buday <>
Mon Jul 25 14:42:04 CEST 2016


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.html>


More information about the erlang-questions mailing list