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]
@inproceedings{Weissbach16,
title = {Deadlock Analysis of Service-Oriented Systems with Recursion and Concurrency},
author = {Mandy Weißbach},
year = {2016},
doi = {10.1007/978-3-319-72125-5_20},
url = {https://doi.org/10.1007/978-3-319-72125-5_20},
researchr = {https://researchr.org/publication/Weissbach16},
cites = {0},
citedby = {0},
pages = {247-259},
booktitle = {Advances in Service-Oriented and Cloud Computing - Workshops of ESOCC 2016, Vienna, Austria, September 5-7, 2016, Revised Selected Papers},
editor = {Alexander Lazovik and Stefan Schulte 0002},
volume = {707},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-319-72125-5},
}