Mandy Weißbach, Wolf Zimmermann. On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion. In Flavio De Paoli, Stefan Schulte 0002, Einar Broch Johnsen, editors, Service-Oriented and Cloud Computing - 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings. Volume 10465 of Lecture Notes in Computer Science, pages 168-176, Springer, 2017. [doi]
Abstract is missing.