A Formal Framework for Specifying and Verifying Time Warp Optimizations.

Victoria Chernyakhovsky Peter Frey Radharamanan Radhakrishnan Philip A. Wilsey Perry Alexander Harold W. Carter A Formal Framework for Specifying and Verifying Time Warp Optimizations. 1228-1242 1999 conf/ipps/1999w IPPS/SPDP Workshops db/conf/ipps/ippsw1999.html#ChernyakhovskyFRWAC99