結果 : models of deadlock in distributed computing