{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:21:21Z","timestamp":1750306881283,"version":"3.41.0"},"reference-count":12,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2012,12,19]],"date-time":"2012-12-19T00:00:00Z","timestamp":1355875200000},"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":["SIGACT News"],"published-print":{"date-parts":[[2012,12,19]]},"DOI":"10.1145\/2421119.2421129","type":"journal-article","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T13:23:15Z","timestamp":1357132995000},"page":"44-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Review of semantic techniques in quantum computation, edited by Simon Gay and Ian Mackie"],"prefix":"10.1145","volume":"43","author":[{"given":"Kyriakos N.","family":"Sgarbas","sequence":"first","affiliation":[{"name":"University of Patras, Hellas, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,12,19]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_2_1_1_1","DOI":"10.2307\/1968621"},{"key":"e_1_2_1_2_1","volume-title":"Proceedings of the Workshop on Logics of Programs, LNCS 131","author":"Clarke E. M.","year":"1981","unstructured":"Clarke , E. M. , and Emerson , E. A . ( 1981 ) Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logics . In Proceedings of the Workshop on Logics of Programs, LNCS 131 , Springer-Verlag. Clarke, E. M., and Emerson, E. A. (1981) Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logics. In Proceedings of the Workshop on Logics of Programs, LNCS 131, Springer-Verlag."},{"doi-asserted-by":"publisher","key":"e_1_2_1_3_1","DOI":"10.1145\/512950.512973"},{"doi-asserted-by":"publisher","key":"e_1_2_1_4_1","DOI":"10.1017\/S0960129506005251"},{"key":"e_1_2_1_5_1","volume-title":"The Quantum IO Monad, source code and examples","author":"Green A.","year":"2008","unstructured":"Green , A. ( 2008 ) The Quantum IO Monad, source code and examples . http:\/\/www.cs.nott.ac.uk\/~asg\/QIO\/. Green, A. (2008) The Quantum IO Monad, source code and examples. http:\/\/www.cs.nott.ac.uk\/~asg\/QIO\/."},{"doi-asserted-by":"publisher","key":"e_1_2_1_6_1","DOI":"10.2140\/pjm.1963.13.585"},{"doi-asserted-by":"publisher","key":"e_1_2_1_7_1","DOI":"10.1007\/BFb0059696"},{"key":"e_1_2_1_8_1","volume-title":"Introduction to Higher-Order Categorical Logic","author":"Lambeck J.","year":"1986","unstructured":"Lambeck , J. , and Scott , P. J . ( 1986 ) Introduction to Higher-Order Categorical Logic . Cambridge University Press . Lambeck, J., and Scott, P. J. (1986) Introduction to Higher-Order Categorical Logic. Cambridge University Press."},{"doi-asserted-by":"publisher","key":"e_1_2_1_9_1","DOI":"10.1016\/j.ic.2006.02.001"},{"key":"e_1_2_1_10_1","volume-title":"Quantum Computation and Quantum Information","author":"Nielsen M.A.","year":"2000","unstructured":"Nielsen , M.A. , and Chuang , I. L . ( 2000 ) Quantum Computation and Quantum Information . Cambridge University Press . Nielsen, M.A., and Chuang, I. L. (2000) Quantum Computation and Quantum Information. Cambridge University Press."},{"key":"e_1_2_1_11_1","first-page":"46","volume-title":"Symposium on the Foundations of Computer Science (FOCS)","author":"Pnueli A.","year":"1977","unstructured":"Pnueli , A. ( 1977 ) The Temporal Logic of Programs . In Symposium on the Foundations of Computer Science (FOCS) , IEEE Computer Society Press, Providence, Rhode Island , pp. 46 -- 57 . 10.1109\/SFCS.1977.32 Pnueli, A. (1977) The Temporal Logic of Programs. In Symposium on the Foundations of Computer Science (FOCS), IEEE Computer Society Press, Providence, Rhode Island, pp.46--57. 10.1109\/SFCS.1977.32"},{"doi-asserted-by":"publisher","key":"e_1_2_1_12_1","DOI":"10.1017\/S0960129504004256"}],"container-title":["ACM SIGACT News"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2421119.2421129","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2421119.2421129","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:34Z","timestamp":1750234714000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2421119.2421129"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12,19]]},"references-count":12,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,12,19]]}},"alternative-id":["10.1145\/2421119.2421129"],"URL":"https:\/\/doi.org\/10.1145\/2421119.2421129","relation":{},"ISSN":["0163-5700"],"issn-type":[{"type":"print","value":"0163-5700"}],"subject":[],"published":{"date-parts":[[2012,12,19]]},"assertion":[{"value":"2012-12-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}