Mandy Weißbach. Deadlock Analysis of Service-Oriented Systems with Recursion and Concurrency. In Alexander Lazovik, Stefan Schulte 0002, editors, Advances in Service-Oriented and Cloud Computing - Workshops of ESOCC 2016, Vienna, Austria, September 5-7, 2016, Revised Selected Papers. Volume 707 of Communications in Computer and Information Science, pages 247-259, Springer, 2016. [doi]
Abstract is missing.