Eric Richard Christensen;Bernard P. Zeigler
-;-
On constructing optimistic simulation algorithms for the discrete event system specification
ACM Transactions on Modeling and Computer Simulation (TOMACS)