1. Elements of a theory of computer simulation I;Barret;Appl. Math. Comput.,1999
2. A unifying framework for distributed simulation;Bagrodia;ACM Trans. Model. Comput. Simul.,1991
3. Virtual time;Jefferson;ACM Trans. Program. Lang. Syst.,1985
4. Modeling and Control of Logical Discrete Event Systems;Kumar,1995
5. Elements of a theory of computer simulation II;Barret;Appl. Math. Comput.,2002