Soundness of reset workflow nets.

Michael Blondin, Alain Finkel, Piotr Hofman, Filip Mazowiecki, Philip Offtermatt

Browse the full LICS paper archive.