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
PhysicalDescription:Obr. 5. Res. rus., angl., lit. 26 zázn. v angl.
Subjects: