Linear Logic as a Tool for Weak Soundness Verification for Interorganizational Workflow Processes | IEEE Conference Publication | IEEE Xplore