Gianluigi Greco, Antonella Guzzo, Domenico Saccà. A Logic-Based Formalism to Model and Analyze Workflow Executions. In Johann Eder, Tatjana Welzer, editors, The 15th Conference on Advanced Information Systems Engineering (CAiSE 03), Klagenfurt/Velden, Austria, 16-20 June, 2003, CAiSE Forum, Short Paper Proceedings, Information Systems for a Connected Society. Volume 74 of CEUR Workshop Proceedings, CEUR-WS.org, 2003. [doi]
Abstract is missing.