Efficient algorithms for conservative parallel simulation of interconnection networks | IEEE Conference Publication | IEEE Xplore