Login / Signup

Deadlock Detection for a Class of Communicating Finite State Machines.

Yao-Tin YuMohamed G. Gouda
Published in: IEEE Trans. Commun. (1982)
Keyphrases
  • finite state machines
  • deadlock detection
  • distributed database systems
  • finite state automata
  • model checking
  • distributed systems
  • regular languages
  • databases
  • web services