Emanuele D'Osualdo, Jonathan Kochems, Luke Ong. Soter: an automatic safety verifier for erlang. In Gul A. Agha, Rafael H. Bordini, Assaf Marron, Alessandro Ricci, editors, Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! 2012, October 21-22, 2012, Tucson, Arizona, USA. pages 137-140, ACM, 2012. [doi]
Abstract is missing.