{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T09:42:39Z","timestamp":1746006159533},"edition-number":"1","reference-count":29,"publisher":"Cambridge University Press","license":[{"start":{"date-parts":[[2014,7,5]],"date-time":"2014-07-05T00:00:00Z","timestamp":1404518400000},"content-version":"unspecified","delay-in-days":1678,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,11,30]]},"DOI":"10.1017\/cbo9781139193313.011","type":"book-chapter","created":{"date-parts":[[2014,7,14]],"date-time":"2014-07-14T09:24:59Z","timestamp":1405329899000},"page":"389-413","source":"Crossref","is-referenced-by-count":7,"title":["Temporal Logics for Reasoning about Quantum Systems"],"prefix":"10.1017","author":[{"given":"Paulo","family":"Mateus","sequence":"first","affiliation":[]},{"given":"Jaime","family":"Ramos","sequence":"additional","affiliation":[]},{"given":"Am\u00edlcar","family":"Sernadas","sequence":"additional","affiliation":[]},{"given":"Cristina","family":"Sernadas","sequence":"additional","affiliation":[]}],"member":"56","reference":[{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib408","first-page":"325\u2013372","volume-title":"Handbook ofQuantum Logic and Quantum Structures: Quantum Logic","author":"Chadha","year":"2009"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib412","volume-title":"Proceedings ofthe 2nd International Workshop on Quantum Programming Languages","author":"D'Hondt","year":"2004"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib415","doi-asserted-by":"publisher","DOI":"10.2172\/366453"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib410","first-page":"1635-1790","volume-title":"Handbook of Automated Reasoning","author":"Clarke","year":"2001"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib403","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05355-3"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib423","doi-asserted-by":"publisher","DOI":"10.1145\/3828.3837"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib425","first-page":"427\u2013440","volume-title":"Computer Science Logic, volume 2803 of Lecture Notes in Computer Science","author":"van der Meyden","year":"2003"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib406","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.02.040"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib397","first-page":"415\u2013125","volume-title":"Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS 2004)","author":"Abramsky","year":"2004"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib424","first-page":"104\u2013117","volume-title":"Theoretical Aspects of Rationality and Knowledge","author":"van der Meyden","year":"2003"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib421","first-page":"354\u2013368","volume-title":"Proceedings of the 7th International Conference on Typed Lambda Calculi and Applications (TLCA), volume 3461 of Lecture Notes in Computer Science","author":"Selinger","year":"2005"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib413","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90060-U"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib422","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.67.052307"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib420","first-page":"80\u201399","volume-title":"Mathematics of Program Construction, volume 1837 of Lecture Notes in Computer Science","author":"Sanders","year":"2000"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib407","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.04.003"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib418","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806125"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib414","first-page":"163173","volume-title":"Proceedings 7th Symposium on Principles of Programming Languages, POPL'80","author":"Gabbay","year":"1980"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib404","first-page":"50\u201364","volume-title":"Algebra, Meaning, and Computation - Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, volume 4060 of Lecture Notes in Computer Science","author":"Caleiro","year":"2006"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib419","first-page":"349-367","article-title":"Revised report on the algorithmic language Algol 60","volume":"5","author":"Naur","year":"1963","journal-title":"The Computer Journal"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib401","volume-title":"Proceedings of the First Workshop on Quantum Security: QSec'07","author":"Baltazar","year":"2007"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib398","first-page":"249\u2013258","volume-title":"Proceedings ofthe 20th Annual IEEE Symposium on Logic in Computer Science (LICS)","author":"Altenkirch","year":"2005"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib411","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib399","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005299"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib409","volume-title":"Proceeding of the Workshop on Logics of Programs, volume 131 of LNCS","author":"Clarke","year":"1981"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib400","doi-asserted-by":"publisher","DOI":"10.1142\/S0219749908003530"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib405","first-page":"48\u201362","volume-title":"Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1589 of Lecture Notes in Computer Science","author":"Caleiro","year":"1999"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib417","first-page":"165\u2013194","volume-title":"Essays on the Foundations of Mathematics and Logic, volume 1 of Advanced Studies in Mathematics and Logic","author":"Mateus","year":"2005"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib416","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2006.02.001"},{"key":"9781139193313.CBO9781139193313A017_CBO9781139193313bib402","first-page":"46\u201360","volume-title":"Logical Foundations of Computer Science 2009, volume 5407 of Lecture Notes in Computer Science","author":"Baltazar","year":"2009"}],"container-title":["Semantic Techniques in Quantum Computation"],"original-title":[],"link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/FE29E4044BB08FD5B3E55163DA16DADA","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,12]],"date-time":"2022-06-12T10:58:37Z","timestamp":1655031517000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/CBO9781139193313A017\/type\/book_part"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11,30]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1017\/cbo9781139193313.011","relation":{},"subject":[],"published":{"date-parts":[[2009,11,30]]}}}