{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T07:47:16Z","timestamp":1759132036084,"version":"3.41.2"},"reference-count":1,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2012,11,19]],"date-time":"2012-11-19T00:00:00Z","timestamp":1353283200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/arxiv.org\/licenses\/nonexclusive-distrib\/1.0"}],"funder":[{"DOI":"10.13039\/100014013","name":"UK Research and Innovation","doi-asserted-by":"crossref","award":["EP\/D072786\/1"],"award-info":[{"award-number":["EP\/D072786\/1"]}],"id":[{"id":"10.13039\/100014013","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>We present a both simple and comprehensive graphical calculus for quantum\ncomputing. In particular, we axiomatize the notion of an environment, which\ntogether with the earlier introduced axiomatic notion of classical structure\nenables us to define classical channels, quantum measurements and classical\ncontrol. If we moreover adjoin the earlier introduced axiomatic notion of\ncomplementarity, we obtain sufficient structural power for constructive\nrepresentation and correctness derivation of typical quantum informatic\nprotocols.<\/jats:p>","DOI":"10.2168\/lmcs-8(4:14)2012","type":"journal-article","created":{"date-parts":[[2013,11,29]],"date-time":"2013-11-29T13:21:33Z","timestamp":1385731293000},"source":"Crossref","is-referenced-by-count":17,"title":["Environment and classical channels in categorical quantum mechanics"],"prefix":"10.46298","volume":"Volume 8, Issue 4","author":[{"given":"Bob","family":"Coecke","sequence":"first","affiliation":[]},{"given":"Simon","family":"Perdrix","sequence":"additional","affiliation":[]}],"member":"25203","published-online":{"date-parts":[[2012,11,19]]},"reference":[{"key":"578:not-found"}],"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/719\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/719\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T19:54:33Z","timestamp":1681242873000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/719"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11,19]]},"references-count":1,"URL":"https:\/\/doi.org\/10.2168\/lmcs-8(4:14)2012","relation":{"is-same-as":[{"id-type":"arxiv","id":"1004.1598","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.1004.1598","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2012,11,19]]},"article-number":"719"}}