Some Deadlock Properties of Computer Systems
ACM Computing Surveys (CSUR)
A Survey of Some Theoretical Aspects of Multiprocessing
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
This paper describes a procedure and system for ensuring the logical consistency of a discrete simulation model. The initial system, WORMS I, is intended primarily for models that will be implemented in an event-oriented language such as SIMSCRIPT.