Linear Logic as a Tool for Weak Soundness Verification for Interorganizational Workflow Processes.

Lgia Maria Soares Passos, Stphane Julia

Browse the full ICTAI paper archive.