Verification of XRL: An XML-based Workflow Language.

Wil M. P. van der Aalst, H. M. W. Verbeek, Akhil Kumar

Browse the full CSCWD paper archive.