Deadlock detection in conditional asynchronous circuits under mismatched branch selection.

Eslam Yahya Hatem Zakaria Yehea Ismail

Published in: ICECS (2015)

Keyphrases

asynchronous circuits
deadlock detection
distributed database systems
distributed systems
delay insensitive
process algebra
communication protocol
computer networks
model checking
manufacturing systems
data structure
distributed databases