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. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

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