Communicating quantum processes

DOI10.1145/1040305.1040318zbMath1369.68207arXivquant-ph/0409052OpenAlexW2064622659WikidataQ130929367 ScholiaQ130929367MaRDI QIDQ5276142

Rajagopal Nagarajan, Simon J. Gay

Publication date: 14 July 2017

Published in: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/quant-ph/0409052

zbMATH Keywords

verificationtypessemanticsquantum computingquantum communicationformal language

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (23)

Encodability criteria for quantum based systems ⋮ Model-Checking Linear-Time Properties of Quantum Systems ⋮ On well-founded and recursive coalgebras ⋮ Quantum process algebra with priorities ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Termination of nondeterministic quantum programs ⋮ Verifying quantum communication protocols with ground bisimulation ⋮ Probabilistic bisimulations for quantum processes ⋮ Symbolic Bisimulation for Quantum Processes ⋮ Distributed quantum programming ⋮ Techniques for Formal Modelling and Analysis of Quantum Systems ⋮ An axiomatization for quantum processes to unifying quantum and classical computing ⋮ Probabilistic process algebra to unifying quantum and classical computing in closed systems ⋮ Entanglement in quantum process algebra ⋮ Formal verification for KMB09 protocol ⋮ Equational Reasoning About Quantum Protocols ⋮ A Process Algebra for Reasoning About Quantum Security ⋮ Distributed Measurement-based Quantum Computation ⋮ Simulating and Compiling Code for the Sequential Quantum Random Access Machine ⋮ Quantum Patterns and Types for Entanglement and Separability ⋮ Classical Knowledge for Quantum Cryptographic Reasoning ⋮ Quantum Arrows in Haskell

This page was built for publication: Communicating quantum processes