Symbolic Bisimulation for Quantum Processes.

Yuan Feng Yuxin Deng Mingsheng Ying

Published in: ACM Trans. Comput. Log. (2014)

Keyphrases

intermediate level
process model
data sets
neural network
computer vision
quantum computing
information systems
knowledge base
case study
user interface
symbolic data