On constructing optimistic simulation algorithms for the discrete event system specification

James J. Nutaro. On constructing optimistic simulation algorithms for the discrete event system specification. ACM Trans. Model. Comput. Simul., 19(1), 2008. [doi]

Abstract

Abstract is missing.