Linear Logic as a Tool for Deadlock-Freeness Scenarios Detection in Interorganizational Workflow Processes.

Lgia Maria Soares Passos, Stphane Julia

Browse the full ICTAI paper archive.