Towards a logical foundation of discrete event modeling and simulation.

Ashvin Radiya

Browse the full WSC paper archive.