A Logic-Based Formalism to Model and Analyze Workflow Executions.

Gianluigi Greco, Antonella Guzzo, Domenico Sacc

Browse the full CaiSE paper archive.