Publication Records

2012

1. Model Checking for Communicating Quantum Processes.

   DAVIDSON, T, S J GAY, Hynek MLNAŘÍK, Rajagopal NAGARAJAN and N PAPANIKOLAOU. Model Checking for Communicating Quantum Processes. International Journal of Unconventional Computing. Old City Publishing, Inc., 2012, vol. 8, No 1, p. 73-98. ISSN 1548-7199.

   Abstract

   
   Keywords in English: Quantum computing; quantum communication; process calculus; model-checking; translation; semantics
   International impact: yes
   Reviewed: yes
   Changed by: RNDr. Hynek Mlnařík, Ph.D., učo 4326. Changed: 11/11/2012 10:57.

   More: https://is.muni.cz/publication/1072706/en