Process synchronization in workflow management systems | IEEE Conference Publication | IEEE Xplore