A Lightweight Heuristic-based Mechanism for Collecting Committed Consistent Global States in Optimistic Simulation. - Diego Cucuzzo; Stefano D'Alessio; Francesco Quaglia; Paolo Romano 002 (DS-RT, 2007)