A semantics for distributed erlang (0)

by K Claessen, H Svensson
Venue:In Proceedings of the ACM SIPGLAN 2005 Erlang Workshop