Mario Bravetti Gianluigi Zavattaro On the expressive power of process interruption and compensation. 565-599 2009 19 Mathematical Structures in Computer Science 3 http://dx.doi.org/10.1017/S0960129509007683 db/journals/mscs/mscs19.html#BravettiZ09