Skip to main content
SpringerLink
Log in

Quantum Process Algebra with Priorities

  • Published:
International Journal of Theoretical Physics Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Gay, S.J., Nagarajan, R.: Communicating quantum processes. In: Proceedings of the 32nd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Long Beach, California, USA, ACM Press, pp 145–157 (2005)

    Google Scholar 

  2. Gay, S.J., Nagarajan, R.: Typechecking communicating quantum processes. Math. Struct. Comput. Sci. 16(2006), 375–406 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  3. Jorrand, P., Lalire, M.: Toward a quantum process algebra. In: Proceedings of the 1st ACM Conference on Computing Frontiers, Ischia, Italy, ACM Press, pp 111–119 (2004)

    Google Scholar 

  4. Jorrand, P., Lalire, M.: From quantum physics to programming languages: a process algebraic approach. Lect. Notes Comput. Sci. 3566(2005), 1–16 (2005)

    Google Scholar 

  5. Lalire, M., Jorrand, P.: A process algebraic approach to concurrent and distributed quantum computation: operational semantics. In: Proceedings of the 2nd International Workshop on Quantum Programming Languages, TUCS General Publications, pp 109–126 (2004)

    Google Scholar 

  6. Lalire, M.: Relations among quantum processes: bisimilarity and congruence. Math. Struct. Comput. Sci. 16(3), 407–428 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  7. Ying, M., Feng, Y., Duan, R., Ji, Z.: An algebra of quantum processes. ACM Trans. Comput. Log. (TOCL) 10(3), 1–36 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  8. Feng, Y., Duan, R.Y., Ji, Z.F., Ying, M.S.: Probabilistic bisimulations for quantum processes. Inf. Comput. 205(11), 1608–1639 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  9. Feng, Y., Duan, R., Ying, M.: Bisimulations for quantum processes. In: Proceedings of the 38th ACM Symposium on Principles of Programming Languages (POPL 11), ACM Press, pp 523–534 (2011)

    Google Scholar 

  10. Deng, Y., Feng, Y.: Open bisimulation for quantum processes. Manuscript, arXiv:1201.0416 (2012)

  11. Feng, Y., Deng, Y., Ying, M.: Symbolic bisimulation for quantum processes. Manuscript, arXiv:1202.3484 (2012)

  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)

    Article  MathSciNet  MATH  Google Scholar 

  15. Milner, R.R.: Communication and Concurrency. Prentice Hall (1989)

  16. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, Parts I and II. Inf. Comput. 100(1992), 1–77 (1992)

    Article  MATH  Google Scholar 

  17. Hoare, C.A.R.: Communicating sequential processes. http://www.usingcsp.com/ (1985)

  18. Fokkink, W.: Introduction to Process Algebra 2nd ed. Springer-Verlag (2007)

  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)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

This research was partly supported by Beijing Municipal Education Commission Projects grants JC007011201004, Beijing Municipal Education Colleges and Universities to Deepen Talents Scheme, and CSC Projects in China.

Author information

Authors and Affiliations

  1. College of Computer Science and Technology, Faculty of Information Technology, Beijing University of Technology, Beijing, 100124, China

    Xingtian Ren & Yong Wang

  2. College of Urban Transport, Beijing University of Technology, Beijing, 100124, China

    Guiping Dai

Authors
  1. Xingtian Ren
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yong Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Guiping Dai
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Xingtian Ren.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ren, X., Wang, Y. & Dai, G. Quantum Process Algebra with Priorities. Int J Theor Phys 56, 2601–2606 (2017). https://doi.org/10.1007/s10773-017-3416-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10773-017-3416-5

Keywords

Search

Navigation