Design of a group membership service on top of a distributed JAVA actor platform | IEEE Conference Publication | IEEE Xplore