http://www.cs.uta.fi/ University of Tampere, CS Department Optimising deadlock detection The methods proposed earlier require all of the waits-for graph to be transmitted from one server to another.
{}