Koen Claessen, Hans Svensson. A semantics for distributed Erlang. In Konstantinos F. Sagonas, Joe Armstrong, editors, Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005. pages 78-87, ACM, 2005. [doi]
Abstract is missing.