Meng-Lin Yu, Sumit Ghosh, Erik DeBenedictis. A provably correct, non-deadlocking parallel event simulation algorithm. In George W. Zobrist, Alan H. Rutan, editors, Proceedings 24th Annual Simulation Symposium (ANSS-24 1991), New Orleans, Loisiana, USA, 1991. pages 100-111, IEEE Computer Society, 1991. [doi]
Abstract is missing.