Αποστολή με SMS: The Parallel Complexity of Deadlock Detection. C.T.I. Technical Reports TR.87.08.26