A Logic-based Formalism for Pervasive Workflow.

Sourish Dasgupta

Browse the full PERCOM paper archive.