Modelling extensions for concurrent workflow coordination | IEEE Conference Publication | IEEE Xplore