Communicating quantum processes
- 12 January 2005
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 40 (1), 145-157
- https://doi.org/10.1145/1040305.1040318
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Towards a quantum programming languageMathematical Structures in Computer Science, 2004
- Long Distance Quantum Teleportation in a Quantum Relay ConfigurationPhysical Review Letters, 2004
- Algebraic theory of probabilistic and nondeterministic processesThe Journal of Logic and Algebraic Programming, 2003
- Unconditional security in quantum cryptographyJournal of the ACM, 2001
- An introduction to quantum computing for non-physicistsACM Computing Surveys, 2000
- Linearity and the pi-calculusACM Transactions on Programming Languages and Systems, 1999
- Quantum StrategiesPhysical Review Letters, 1999
- A Syntactic Approach to Type SoundnessInformation and Computation, 1994
- Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channelsPhysical Review Letters, 1993
- A calculus of mobile processes, IInformation and Computation, 1992