"Formal Analysis of Workflow Systems with Security Considerations."

Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics