Distributed Lazy Simulation of Digital Logic using PVM. - George Charonitakis; David Jackson (PDPTA, 2000)