CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2013; 25:1987–2001 Published online 16 July 2012 in Wiley Online Library (wileyonlinelibrary.com).…