トークン授受方式による分散デッドロック検出アルゴリズム(共著)