A Logic-based Foundation of Discrete Event Modeling and Simulation

Ashvin Radiya, Robert G. Sargent. A Logic-based Foundation of Discrete Event Modeling and Simulation. ACM Trans. Model. Comput. Simul., 4(1):3-51, 1994. [doi]

Abstract

Abstract is missing.