TOPS-a distributed operating system kernel for transputer systems | IEEE Conference Publication | IEEE Xplore