However, sending a login message resolves the deadlock. Hence, we add an edge labelled [p0, login] [p1] [p2, p3] !login [p0, login, order] [p0, login, terms] with .