Login / Signup
A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines.
Wuxu Peng
S. Purushothaman Iyer
Published in:
CAV (DIMACS/AMS volume) (1990)
Keyphrases
</>
finite state machines
deadlock detection
distributed database systems
computer networks
model checking
finite state automata
distributed systems
manufacturing systems