Gay, S. J. and Nagarajan, Rajagopal (2005) Communicating quantum processes. In: 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Long Beach, CA, 12-14 Jan 2005. Published in: ACM SIGPLAN Notices, Volume 40 (Number 1). pp. 145-157. ISSN 0362-1340.

PDF p145-gay.pdf - Published Version Embargoed item. Restricted access to Repository staff only - Requires a PDF viewer. Download (242Kb)

Request Changes to record.

Abstract

We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication primitives of the pi-calculus with primitives for measurement and transformation of quantum state; in particular; quantum bits (qubits) can be transmitted from process to process along communication channels. CQP has a static type system which classifies channels, distinguishes between quantum and classical data, and controls the use of quantum state. We formally define the syntax, operational semantics and type system of CQP, prove that the semantics preserves typing; and prove that typing guarantees that each qubit is owned by a unique process within a system. We illustrate CQP by defining models of several quantum communication systems; and outline our plans for using CQP as the foundation for formal analysis and verification of combined quantum and classical systems.

Item Type:	Conference Item (Paper)
Subjects:	Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Divisions:	Faculty of Science, Engineering and Medicine > Science > Computer Science
Journal or Publication Title:	ACM SIGPLAN Notices
Publisher:	ACM
ISSN:	0362-1340
Official Date:	1 January 2005
Dates:	Date Event 1 January 2005 Published
Volume:	Volume 40
Number:	Number 1
Number of Pages:	13
Page Range:	pp. 145-157
Status:	Peer Reviewed
Publication Status:	Published
Access rights to Published version:	Restricted or Subscription Access
Date of first compliant deposit:	4 December 2015
Conference Paper Type:	Paper
Title of Event:	32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Type of Event:	Other
Location of Event:	Long Beach, CA
Date(s) of Event:	12-14 Jan 2005

Data sourced from Thomson Reuters' Web of Knowledge

Request changes or add full text files to a record

Repository staff actions (login required)

View Item