Abstract: A promising nanotechnology, quantum dot cellular automata (QCA) has the potential to replace the standard CMOS era owing to its high speed and low power consumption. A crucial component of ...
Abstract: Given two pushdown automata, the bisimilarity problem asks whether the infinite transition systems they induce are bisimilar. While this problem is known to be decidable our main result ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback