[erlang-questions] difficult concurrent programs in practice
Mon Jul 25 14:42:04 CEST 2016
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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the erlang-questions