Formalizing (and Reasoning About) the Specifications of Workflows.

Goce Trajcevski, Chitta Baral, Jorge Lobo

Browse the full CoopIS paper archive.