The top documents tagged [deadlock characterization3]