An LTL Semantics of BusinessWorkflows with Recovery.

Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara

Browse the full ICSoft paper archive.