Paolo Felli, Massimiliano de Leoni, Marco Montali. Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions. In 19th International Conference on Application of Concurrency to System Design, ACSD 2019, Aachen, Germany, June 23-28, 2019. pages 82-91, IEEE, 2019. [doi]
Abstract is missing.