A dynamic shadow approach for mobile agents to survive crash failures | IEEE Conference Publication | IEEE Xplore