Jens Gulden. Explication of Termination Semantics as a Security-Relevant Feature in Business Process Modeling Languages. In Niels Lohmann, Minseok Song, Petia Wohed, editors, Business Process Management Workshops - BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers. Volume 171 of Lecture Notes in Business Information Processing, pages 486-497, Springer, 2013. [doi]
Abstract is missing.