NETMAN: an object-oriented environment for experimenting distributed algorithms on a network of workstations | IEEE Conference Publication | IEEE Xplore