Clara Benac Earle, Lars-Åke Fredlund, John Derrick. Verifying fault-tolerant Erlang programs. In Konstantinos F. Sagonas, Joe Armstrong, editors, Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005. pages 26-34, ACM, 2005. [doi]
Abstract is missing.