Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes

Kais Klai, Samir Tata, Jörg Desel. Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes. In Umeshwar Dayal, Johann Eder, Jana Koehler, Hajo A. Reijers, editors, Business Process Management, 7th International Conference, BPM 2009, Ulm, Germany, September 8-10, 2009. Proceedings. Volume 5701 of Lecture Notes in Computer Science, pages 294-309, Springer, 2009. [doi]

Abstract

Abstract is missing.