62 followers arXiv CompSci @arXiv_cs Automatic Verification of Erlang-Style Concurrency. (arXiv:1303.2201v1 [cs.PL]) http://t.co/2vWlM6MXrt 12 Mar 2013 Reply Repost Favourite