SEPDS: Communication Deadlock Detection [C.T.I. Technical Reports] TR. 90.04.10 - Levy, A.; Παυλίδης, Γεώργιος; Ροντογιάννης, Παναγιώτης Α. (Ινστιτούτο Τεχνολογίας Υπολογιστών Computer Technology Institute, 1990)