DCL: protocols and primitives for distributed and concurrent computing in networked environments | IEEE Conference Publication | IEEE Xplore