Sound Recoveries of Structural Workflows with Synchronization

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]

Authors

Piotr Chrzastowski-Wachtel

This author has not been identified. Look up 'Piotr Chrzastowski-Wachtel' in Google

Pawel Golab

This author has not been identified. Look up 'Pawel Golab' in Google

Bartosz Lewinski

This author has not been identified. Look up 'Bartosz Lewinski' in Google