Bruni, R, Ferreira C, Kauer AK.  2012.  First-Order Dynamic Logic for Compensable Processes, June 14-15. Coordination Models and Languages - 14th International Conference. :104-121., Stockholm, Swenden