Skip to main content
Have a personal or library account? Click to login
Natural Quantum Operational Semantics with Predicates Cover

Natural Quantum Operational Semantics with Predicates

International Journal of Applied Mathematics and Computer Science
Volume 18 (2008): Issue 3 (September 2008)
By:  and    
Open Access
|Oct 2008
References

References

  1. Aceto L. (1994). GSOS and finite labelled transition systems,(1): 181-195.
    Open DOISearch in Google Scholar
  2. de Bakker J. W., de Roever W. P. (1972). A calculus for recursive programs schemes,M. Nivat (Ed.),, North-Holland, Amsterdam, pp. 167-196.
    Search in Google Scholar
  3. de Bakker J. W., Meertens L. G. L. T. (1975). On the completeness of the inductive assertion method,(3): 323-357.
    Open DOISearch in Google Scholar
  4. Bennett C. H., Brassard G., Crepeau C., Jozsa R., Peres A. and Wooters W. K. (1993). Teleporting an unknown state via dual classical and Einstein-Podolsky-Rosen channels,(13): 1895-1899.
    Open DOISearch in Google Scholar
  5. Birkhoff G. and von Neumann J. (1936). The logic of quantum mechanics,(4): 823-843.
    Open DOISearch in Google Scholar
  6. Bloom B. (1989):, Ph.D. thesis, Massachusetts Institute of Technology.
    Search in Google Scholar
  7. Bloom B., Istrail S., Meyer A. R. (1989). Bisimulation can't be traced: Preliminary report,, San Diego, CA, USA, pp. 229-239.
    Search in Google Scholar
  8. Boschi D., Branca S., de Martini F., Hardy L. and Popescu S. (1998). Experimental realization of teleporting an unknown pure quantum state via dual classical and Einstein-Podolsky-Rosen channels,(6): 1121-1125.
    Open DOISearch in Google Scholar
  9. Bouwmeester D., Pan J. W., Mattle K., Eibl M., Weinfurter H. and Zeilinger A. (1997). Experimental quantum teleportation,(6660): 575-579.
    Open DOISearch in Google Scholar
  10. Choi M. D. (1975). Completely positive linear maps on complex matrices,(3): 285-290.
    Open DOISearch in Google Scholar
  11. Coecke B. and Martin K. (2002)., Technical report, PRG-RR-02-07, Oxford University.
    Search in Google Scholar
  12. Deutsch D. and Jozsa R. (1992). Rapid solutions of problems by quantum computation,,(1907): 553-558.
    Open DOISearch in Google Scholar
  13. Dijkstra E. W. (1976)., Prentice-Hall, Englewood Cliffs, NJ.
    Search in Google Scholar
  14. D'Hondt E. and Panangaden P. (2006). Quantum weakest preconditions,(3): 429-451.
    Open DOISearch in Google Scholar
  15. Gielerak R. and Sawerwain M. (2007)., available at:
    Search in Google Scholar
  16. Gleason A. M. (1957). Measures on the closed subspaces of a Hilbert space,(4): 885-893.
    Open DOISearch in Google Scholar
  17. Grover L. K. (1996). A fast quantum-mechanical algorithm for database search,, Philadelphia, PA, USA, ACM Press, New York, NY, pp. 212-219.
    Search in Google Scholar
  18. Hirvensalo M. (2001)., Springer-Verlag, Berlin.
    Open DOISearch in Google Scholar
  19. Hoare C. (1969). An axiomatic basis for computer programming,(10): 576-583.
    Open DOISearch in Google Scholar
  20. Jozsa R. (2005)., available at:
    Search in Google Scholar
  21. Kraus K. (1983)., Springer, Berlin.
    Search in Google Scholar
  22. Kak S. (2003)., available at:
    Search in Google Scholar
  23. Lalire M., Jorrand P. (2004). A process algebraic approach to concurrent and distributed quantum computation: Operational semantics,, Turku, Finland, pp. 109-126.
    Search in Google Scholar
  24. Löwner K. (1934): Über monotone Matrixfunktionen,(1): 177-216.
    Open DOISearch in Google Scholar
  25. Mlnařík H. (2006):, Technical report FIMURS-2006-10, available at:
    Search in Google Scholar
  26. Mauerer W. (2005)., M. Sc. thesis, University Erlangen-Nuremberg Erlangen, Nürnberg, see:
    Search in Google Scholar
  27. Ömer B. (2005). Classical concepts in quantum programming,,(7): 943-955, see: arXiv:quant-ph/0211100.
    Search in Google Scholar
  28. Peres A. (1995)., Kluwer Academic Publishers, Dordrecht.
    Search in Google Scholar
  29. Plotkin G. D. (2004). A structural approach to operational semantics,: 17-139.
    Open DOISearch in Google Scholar
  30. Raynal P. (2006)., Ph.D. thesis, Institut für Optik, Information und Photonik, Max Planck Forschungsgruppe, see:
    Search in Google Scholar
  31. Rüdiger R. (2007). Quantum programming languages: An introductory overview,(2): 134-150.
    Open DOISearch in Google Scholar
  32. Raussendorf R., Briegel H. J. (2001). A one-way quantum computer,(22): 5188-5191, see: arXiv:quant-ph/0010033.
    Search in Google Scholar
  33. Raussendorf R., Browne D. E., Briegel H. J. (2003). Measurement-based quantum computation with cluster states,,(2), 022312, see: arXiv:quant-ph/0301052.
    Search in Google Scholar
  34. Sawerwain M., Gielerak R. and Pilecki J. (2006). Operational semantics for quantum computation,Węgrzyn S., Znamirowski L., Czachórski T., Kozielski S. (Eds.),, WKiŁ, Warsaw, Vol. 1, pp. 69-77, (in Polish).
    Search in Google Scholar
  35. Selinger P.: (2004): Towards a quantum programming language,(5): 527-586.
    Open DOISearch in Google Scholar
  36. Selinger P.: (2004). Towards a semantics for higher order quantum computation,, Turku, Finland, pp. 127-143.
    Search in Google Scholar
  37. Sewell G.: (2005). On the mathematical structure of quantum measurement theory,(2): 271-290, see: arXiv:math-ph/0505032.
    Search in Google Scholar
  38. Shor P. (2004). Progress in quntum algorithms,(1): 5-13.
    Open DOISearch in Google Scholar
DOI: https://doi.org/10.2478/v10006-008-0031-x | Journal eISSN: 2083-8492 | Journal ISSN: 1641-876X
Journal RSS Feed
Language: English
Page range: 341 - 359
Published on: Oct 6, 2008
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
quantum computation,
predicate notion for quantum programs,
quantum labelled transition systems
Related subjects:
Mathematics,
Applied mathematics

© 2008 Marek Sawerwain, Roman Gielerak, published by University of Zielona Góra
This work is licensed under the Creative Commons License.

Volume 18 (2008): Issue 3 (September 2008)
Previous article
Next article