A distributed abstract data type implemented by a probabilistic communication scheme | IEEE Conference Publication | IEEE Xplore