Process instance migration: Flexible execution of distributed business processes | IEEE Conference Publication | IEEE Xplore