Login / Signup

A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines.

Wuxu PengS. 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