Model Checking for Communicating Quantum Processes Journal Articles

authors

• Davidson, Timothy
• Gay, Simon J
• Mlnarik, Hynek
• Nagarajan, Rajagopal
• Papanikolau, Nick

status

• published 

publication date

• 2012

has subject area

• Fluids & Plasmas (Science Metrix)

published in

• International Journal of Unconventional Computing  Journal

keywords

• Computer Science
• Computer Science, Theory & Methods
• Quantum computing
• Science & Technology
• Technology
• model-checking
• process calculus
• quantum communication
• semantics
• translation

start page

• 73

end page

• 98

volume

• 8

issue

• 1