Hartmut Messerschmidt Friedrich Otto Cooperating Distributed Systems of Restarting Automata. 1333-1342 2007 18 Int. J. Found. Comput. Sci. 6 http://dx.doi.org/10.1142/S0129054107005376 db/journals/ijfcs/ijfcs18.html#MesserschmidtO07