On deadlock detection in systems of communicating finite state machines (1987)

by M G Gouda, E M Gurari, T H Lai, L E Rosier
Venue:Comput. Artif. Intell