Basic technique is to draw channel dependence graph and demonstrate that there are no cycles.
To derive channel dependence graph:
Dimension order routing for 4 node ring is deadlock free.
True for all k-ary n-cubes if k<5 (all hypercubes).
True for all meshes.