{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T22:30:46Z","timestamp":1784845846577,"version":"3.55.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/lics.2004.1319636","type":"proceedings-article","created":{"date-parts":[[2004,11,12]],"date-time":"2004-11-12T19:14:14Z","timestamp":1100286854000},"page":"415-425","source":"Crossref","is-referenced-by-count":327,"title":["A categorical semantics of quantum protocols"],"prefix":"10.1109","author":[{"given":"S.","family":"Abramsky","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"B.","family":"Coecke","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","author":"mitchell","year":"1965","journal-title":"Theory of Categories"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(80)90101-2"},{"key":"18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","author":"mac lane","year":"1971","journal-title":"Categories for the Working Mathematician"},{"key":"15","doi-asserted-by":"crossref","first-page":"2669","DOI":"10.1023\/A:1026680806775","article-title":"A topos perspective on the kochen-specker theorem I: Quantum states as generalized valuations","volume":"37","author":"isham","year":"1998","journal-title":"International Journal of Theoretical Physics"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0059557"},{"key":"13","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1038\/46503","article-title":"Quantum teleportation is a universal computational primitive","volume":"402","author":"gottesman","year":"1999","journal-title":"Nature"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1142\/p001"},{"key":"11","first-page":"111","volume":"87","author":"deligne","year":"1990","journal-title":"Cate?gories Tannakiennes Volume 87 of Progress in Mathematics"},{"key":"12","author":"duncan","year":"2003","journal-title":"Quantum Entanglement and Multiplicative Linear Logic"},{"key":"21","article-title":"Non-sequential processes","author":"petri","year":"1977","journal-title":"Technical Report ISF-77-5"},{"key":"20","author":"nielsen","year":"2000","journal-title":"Quantum Computation and Quantum Information"},{"key":"22","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1090\/conm\/092\/1003210","article-title":"Linear logic, *autonomous categories and cofree algebras","volume":"92","author":"seely","year":"1989","journal-title":"Categories in Computer Science and Logic Volume 92 of Contemporary Mathematics"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004256"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1996.548464"},{"key":"25","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59971-2","author":"simpson","year":"1999","journal-title":"Subsystems of Second Order Arithmetic"},{"key":"26","author":"van tonder","year":"2003","journal-title":"Quantum Computation Categorical Semantics and Linear Logic"},{"key":"27","author":"von neumann","year":"1932","journal-title":"Mathematische Grundlagen der Quantenmechanik"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.71.4287"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2004.1319636"},{"key":"2","article-title":"Physical traces: Quantum vs. classical information processing","author":"abramsky","year":"2003","journal-title":"Proceedings of Category Theory and Computer Science 2002 (CTCS'02) Volume 69 of Electronic Notes in Theoretical Computer Science"},{"key":"10","author":"coecke","year":"2004","journal-title":"The Logic of Entanglement"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(98)00106-6"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.2307\/1968621"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.70.1895"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0064579","volume":"752","author":"barr","year":"1979","journal-title":"*Autonomous Categories Volume 752 of Lecture Notes in Mathematics"},{"key":"4","first-page":"35","article-title":"Interaction categories and foundations of typed concurrent programming","author":"abramsky","year":"1995","journal-title":"Deductive Program Design NATO ASI Series F"},{"key":"9","article-title":"The logic of entanglement. An invitation","author":"coecke","year":"2003","journal-title":"Technical Report PRG-RR-03-12"},{"key":"8","author":"bouwmeester","year":"2001","journal-title":"The Physics of Quantum Information"}],"event":{"name":"Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.","location":"Turku, Finland","start":{"date-parts":[[2004,7,17]]},"end":{"date-parts":[[2004,7,17]]}},"container-title":["Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9221\/29239\/01319636.pdf?arnumber=1319636","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,12,21]],"date-time":"2018-12-21T05:27:18Z","timestamp":1545370038000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1319636\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/lics.2004.1319636","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}