Piotr Chrzastowski-Wachtel, Pawel Golab, Bartosz Lewinski. Sound Recoveries of Structural Workflows with Synchronization. In Marcin S. Szczuka, Ludwik Czaja, Magdalena Kacprzak, editors, Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland. Volume 1032 of CEUR Workshop Proceedings, pages 73-87, CEUR-WS.org, 2013. [doi]
@inproceedings{Chrzastowski-WachtelGL13,
title = {Sound Recoveries of Structural Workflows with Synchronization},
author = {Piotr Chrzastowski-Wachtel and Pawel Golab and Bartosz Lewinski},
year = {2013},
url = {http://ceur-ws.org/Vol-1032/paper-07.pdf},
researchr = {https://researchr.org/publication/Chrzastowski-WachtelGL13},
cites = {0},
citedby = {0},
pages = {73-87},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland},
editor = {Marcin S. Szczuka and Ludwik Czaja and Magdalena Kacprzak},
volume = {1032},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}