Modern computer systems are inherently nondeterministic due to a variety of events that occur during an execution. The lack of repeatability that arises from this...Derek R. Hower, Pablo Montesinos, Luis Ceze, Mark D. Hill, Josep Torrellas From Communications of the ACM | June 2009
