Formal Modeling of Process Migration | IEEE Conference Publication | IEEE Xplore