共 18 条
- [1] Baeten JCM(2005)A brief history of process algebra Theor. Comput. Sci. Process Algebra 335 131-146
- [2] Milner R(1992)A calculus of mobile processes, Parts I and II Inf. Comput. 1992 1-77
- [3] Parrow J(2007)Probabilistic bisimulations for quantum processes Inf. Comput. 2007 1608-1639
- [4] Walker D(2006)Typechecking communicating quantum processes Math. Struct. Comput. Sci. 2006 375-406
- [5] Feng Y(2005)From quantum physics to programming languages: A process algebraic approach Lect. Notes Comput. Sci 2005 1-16
- [6] Duan RY(2006)Relations among quantum processes: Bisimilarity and congruence Math. Struct. Comput. Sci. 2006 407-428
- [7] Ji ZF(2009)An algebra of quantum processes ACM Trans. Comput. Logic (TOCL) 10 1-36
- [8] Ying MS(1991)Quantum cryptography based on Bell’s theorem Phys. Rev. Lett. 67 661-663
- [9] Gay SJ(undefined)undefined undefined undefined undefined-undefined
- [10] Nagarajan R(undefined)undefined undefined undefined undefined-undefined