"Strong non-leak guarantees for workflow models."

Rafael Accorsi, Claus Wonnemann (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics