WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition.

Petros Papapanagiotou, Jacques D. Fleuriot

Browse the full CADE paper archive.