Logic Based Modeling and Analysis of Workflows.

Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan

Browse the full PODS paper archive.