Niels Lohmann, Karsten Wolf. How to Implement a Theory of Correctness in the Area of Business Processes and Services. In Richard Hull, Jan Mendling, Stefan Tai, editors, Business Process Management - 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings. Volume 6336 of Lecture Notes in Computer Science, pages 61-77, Springer, 2010. [doi]
Abstract is missing.