Dynamic reconfiguration of CSP programs for fault tolerance | IEEE Conference Publication | IEEE Xplore