Model Checking for Communicating Quantum Processes. - Timothy A. S. Davidson; Simon J. Gay; Hynek Mlnarik; Rajagopal Nagarajan; Nick Papanikolaou 001 (Int. J. Unconv. Comput., 2012)