A more accurate semantics for distributed Erlang (2007)

by H Svensson, L- ˚A Fredlund
Venue:In Proceedings of the ACM SIPGLAN 2007 Erlang Workshop