A provably correct, non-deadlocking parallel event simulation algorithm | IEEE Conference Publication | IEEE Xplore