Towards a Universal Construction for Transaction-Based Multiprocess Programs.

Tyler Crain Damien Imbs Michel Raynal Towards a Universal Construction for Transaction-Based Multiprocess Programs. 61-75 2012 ICDCN http://dx.doi.org/10.1007/978-3-642-25959-3_5 conf/icdcn/2012 db/conf/icdcn/icdcn2012.html#CrainIR12