Qualitative Analysis of Interorganizational WorkFlow Nets Using Linear Logic: Soundness Verification.

Lgia Maria Soares Passos, Stphane Julia

Browse the full ICTAI paper archive.