Semantic Notions of Weakly Correct AND/XOR Business Workflows Based on Partial Synchronization | IEEE Conference Publication | IEEE Xplore