Verification of Linear Optical Quantum Computing using Quantum Process Calculus.

Sonja Franke-Arnold Simon J. Gay Ittoop Vergheese Puthoor

Published in: EXPRESS/SOS (2014)

Keyphrases

quantum computing
quantum inspired
quantum evolutionary algorithm
quantum mechanics
mobile computing
database
databases
data mining
query processing
case based reasoning
intelligent agents
logic synthesis