Deadlock Detection for a Class of Communicating Finite State Machine.

Yao-Tin Yu Mohamed G. Gouda

Published in: PSTV (1982)

Keyphrases

finite state machines
deadlock detection
distributed database systems
model checking
state machine
finite state automata
computer networks
communication protocol
wireless sensor networks