{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:39Z","timestamp":1772163999387,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,1,26]],"date-time":"2011-01-26T00:00:00Z","timestamp":1296000000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,1,26]]},"DOI":"10.1145\/1926385.1926446","type":"proceedings-article","created":{"date-parts":[[2011,1,24]],"date-time":"2011-01-24T09:58:22Z","timestamp":1295863102000},"page":"523-534","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Bisimulation for quantum processes"],"prefix":"10.1145","author":[{"given":"Yuan","family":"Feng","sequence":"first","affiliation":[{"name":"University of Technology Sydney, Australia, Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Runyao","family":"Duan","sequence":"additional","affiliation":[{"name":"University of Technology Sydney, Australia, Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mingsheng","family":"Ying","sequence":"additional","affiliation":[{"name":"University of Technology Sydney, Australia, Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,1,26]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"A calculus for cryptographic protocols: the spi calculus","author":"Abadi M.","year":"1997","unstructured":"M. Abadi and A. Gordon . A calculus for cryptographic protocols: the spi calculus , 1997 . M. Abadi and A. Gordon. A calculus for cryptographic protocols: the spi calculus, 1997."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129599002984"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.69.2881"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.70.1895"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2007.08.001"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040318"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.79.325"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01642508"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1067"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/977091.977108"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-12732-1","volume-title":"States, Effects and Operations: Fundamental Notions of Quantum Theory","author":"Kraus K.","year":"1983","unstructured":"K. Kraus . States, Effects and Operations: Fundamental Notions of Quantum Theory . Springer , Berlin , 1983 . K. Kraus. States, Effects and Operations: Fundamental Notions of Quantum Theory. Springer, Berlin, 1983."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S096012950600524X"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"e_1_3_2_2_14_1","volume-title":"Quantum computation and quantum information","author":"Nielsen M.","year":"2000","unstructured":"M. Nielsen and I. Chuang . Quantum computation and quantum information . Cambridge university press , 2000 . M. Nielsen and I. Chuang. Quantum computation and quantum information. Cambridge university press, 2000."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004256"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1994.365700"},{"key":"e_1_3_2_2_17_1","volume-title":"Mathematical Foundations of Quantum Mechanics","author":"von Neumann J.","year":"1955","unstructured":"J. von Neumann . Mathematical Foundations of Quantum Mechanics . Princeton University Press , Princeton, NJ , 1955 . J. von Neumann. Mathematical Foundations of Quantum Mechanics. Princeton University Press, Princeton, NJ, 1955."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1507244.1507249"}],"event":{"name":"POPL '11: The 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Austin Texas USA","acronym":"POPL '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1926385.1926446","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1926385.1926446","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:59:51Z","timestamp":1750229991000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1926385.1926446"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,26]]},"references-count":18,"alternative-id":["10.1145\/1926385.1926446","10.1145\/1926385"],"URL":"https:\/\/doi.org\/10.1145\/1926385.1926446","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1925844.1926446","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,1,26]]},"assertion":[{"value":"2011-01-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}