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

Gianluigi Greco Antonella Guzzo Domenico Saccà A Logic-Based Formalism to Model and Analyze Workflow Executions. 2003 conf/caise/2003fo CAiSE Short Paper Proceedings http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-74/files/FORUM_07.pdf db/conf/caise/caisefo2003.html#GrecoGS03