Quantum process algebra with priorities. (English) Zbl 1383.81060
Summary: One of the most fascinating characteristics is the modularity of ACP (Algebra of Communicating Processes), that is, ACP can be extended easily. qACP also inherents the modularity characteristics of ACP. By introducing new operators or new constants, qACP can have more properties. In this paper, we extend the quantum process algebra qACP with priorities support in an elegant way. And we obtain the soundness and completeness of the extension.
MSC:
| 81P68 | Quantum computation |
| 68Q12 | Quantum algorithms and complexity in the theory of computing |
| 81Q05 | Closed and approximate solutions to the Schrödinger, Dirac, Klein-Gordon and other equations of quantum mechanics |
References:
| [1] | Gay, SJ; Nagarajan, R., Communicating quantum processes, 145-157 (2005) · Zbl 1369.68207 |
| [2] | Gay, S.J., Nagarajan, R.: Typechecking communicating quantum processes. Math. Struct. Comput. Sci. 16(2006), 375-406 (2006) · Zbl 1122.68059 · doi:10.1017/S0960129506005263 |
| [3] | Jorrand, P.; Lalire, M., Toward a quantum process algebra, 111-119 (2004) |
| [4] | Jorrand, P., Lalire, M.: From quantum physics to programming languages: a process algebraic approach. Lect. Notes Comput. Sci. 3566(2005), 1-16 (2005) |
| [5] | Lalire, M.; Jorrand, P., A process algebraic approach to concurrent and distributed quantum computation: operational semantics, 109-126 (2004) |
| [6] | Lalire, M.: Relations among quantum processes: bisimilarity and congruence. Math. Struct. Comput. Sci. 16(3), 407-428 (2006) · Zbl 1122.68060 · doi:10.1017/S096012950600524X |
| [7] | Ying, M., Feng, Y., Duan, R., Ji, Z.: An algebra of quantum processes. ACM Trans. Comput. Log. (TOCL) 10(3), 1-36 (2009) · Zbl 1351.68187 · doi:10.1145/1507244.1507249 |
| [8] | Feng, Y., Duan, R.Y., Ji, Z.F., Ying, M.S.: Probabilistic bisimulations for quantum processes. Inf. Comput. 205(11), 1608-1639 (2007) · Zbl 1130.68079 · doi:10.1016/j.ic.2007.08.001 |
| [9] | Feng, Y.; Duan, R.; Ying, M., Bisimulations for quantum processes, 523-534 (2011) · Zbl 1284.68425 |
| [10] | Deng, Y., Feng, Y.: Open bisimulation for quantum processes. Manuscript, arXiv:1201.0416 (2012) · Zbl 1362.68210 |
| [11] | Feng, Y., Deng, Y., Ying, M.: Symbolic bisimulation for quantum processes. Manuscript, arXiv:1202.3484 (2012) · Zbl 1080.68072 |
| [12] | Wang, Y.: An Axiomatization for Quantum Processes to Unifying Quantum and Classical Computing. Manuscript, arXiv:1311.2960 (2013) |
| [13] | Wang, Y.: Entanglement in Quantum Process Algebra. Manuscript, arXiv:1404.0665 (2014) |
| [14] | Baeten, J.C.M.: A brief history of process algebra. Theor. Comput. Sci. In. Process Algebra 335(2-3), 131-146 (2005) · Zbl 1080.68072 · doi:10.1016/j.tcs.2004.07.036 |
| [15] | Milner, R.R.: Communication and Concurrency. Prentice Hall (1989) · Zbl 0683.68008 |
| [16] | Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, Parts I and II. Inf. Comput. 100(1992), 1-77 (1992) · Zbl 0752.68036 · doi:10.1016/0890-5401(92)90008-4 |
| [17] | Hoare, C.A.R.: Communicating sequential processes. http://www.usingcsp.com/ (1985) · Zbl 0637.68007 |
| [18] | Fokkink, W.: Introduction to Process Algebra 2nd ed. Springer-Verlag (2007) · Zbl 1284.68425 |
| [19] | Baeten, J.C.M., Bergstra, J.A., Klop, J.W.: On the consistency of Koomen’s fair abstraction rule. Theor. Comput. Sci. 51(1/2), 129-176 (1987) · Zbl 0621.68010 · doi:10.1016/0304-3975(87)90052-1 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
