Better Algorithms for Analyzing and Enacting Declarative Workflows using LTL

This is a presentation of the paper [bibtex file=conferences.bib key=improved-translation] i gave at BPM 2011. […]

Read More… from Better Algorithms for Analyzing and Enacting Declarative Workflows using LTL