Riccardo De Masellis, Jianwen Su. Runtime Enforcement of First-Order LTL Properties on Data-Aware Business Processes. In Samik Basu, Cesare Pautasso, Liang Zhang, Xiang Fu, editors, Service-Oriented Computing - 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings. Volume 8274 of Lecture Notes in Computer Science, pages 54-68, Springer, 2013. [doi]
Abstract is missing.