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]
@article{RadiyaS94,
title = {A Logic-based Foundation of Discrete Event Modeling and Simulation},
author = {Ashvin Radiya and Robert G. Sargent},
year = {1994},
doi = {10.1145/174619.174620},
url = {http://doi.acm.org/10.1145/174619.174620},
tags = {rule-based, modeling, logic},
researchr = {https://researchr.org/publication/RadiyaS94},
cites = {0},
citedby = {0},
journal = {ACM Trans. Model. Comput. Simul.},
volume = {4},
number = {1},
pages = {3-51},
}