Formalization and Strictness of Simulation Event Orderings.

Yong Meng Teo, Bhakti S. S. Onggo

Browse the full PADS paper archive.