Linear Logic as a Tool for Deadlock-Freeness Scenarios Detection in Interorganizational Workflow Processes | IEEE Conference Publication | IEEE Xplore