On deadlock detection in systems of communicating finite state machines ; Mohamed G. Gouda, Eitan M. Gurari, Ten-Hwang Lai, Louis E. Rosier

Bibliographic Details
Main Authors:	Gouda, Mohamed G. (Author), Gurari, Eitan M. (Author), Lai, Ten-Hwang (Author), Rosier, Louis E. (Author)
Format:	Article
Language:	English
Subjects:	konečný automat komunikačné systémy FIFO (kanály jednosmerné) články z novín a časopisov

Similar Items