S.: Memoizing multi-threaded transactions (2008)

by L Ziarek, Jagannathan
Venue:In: Workshop on Declarative Aspects of Multicore Programming