Impact of buffer size on the efficiency of deadlock detection | Publicación