Transaction Level Modeling of Computation

R. Doemer, “Transaction Level Modeling of Computation,” TR 06-11, August 2006. download pdf