Mandy Weißbach, Wolf Zimmermann. On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems. In Maria Fazio, Wolf Zimmermann, editors, Advances in Service-Oriented and Cloud Computing - Workshops of ESOCC 2018, Como, Italy, September 12-14, 2018, Revised Selected Papers. Volume 1115 of Communications in Computer and Information Science, pages 79-90, Springer, 2018. [doi]
Abstract is missing.