Roberto Bruni, Carla Ferreira, Anne Kersten Kauer. First-Order Dynamic Logic for Compensable Processes. In Marjan Sirjani, editor, Coordination Models and Languages - 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings. Volume 7274 of Lecture Notes in Computer Science, pages 104-121, Springer, 2012. [doi]
Abstract is missing.