A probabilistic event scheduling policy for optimistic parallel discrete event simulation | IEEE Conference Publication | IEEE Xplore