{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,2]],"date-time":"2024-07-02T06:55:29Z","timestamp":1719903329102},"reference-count":41,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2017,8,1]],"date-time":"2017-08-01T00:00:00Z","timestamp":1501545600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2021,8,1]],"date-time":"2021-08-01T00:00:00Z","timestamp":1627776000000},"content-version":"vor","delay-in-days":1461,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Information and Computation"],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1016\/j.ic.2017.01.007","type":"journal-article","created":{"date-parts":[[2017,1,17]],"date-time":"2017-01-17T15:18:03Z","timestamp":1484666283000},"page":"311-333","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":11,"special_numbering":"P2","title":["A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations"],"prefix":"10.1016","volume":"255","author":[{"given":"Luca","family":"Vigan\u00f2","sequence":"first","affiliation":[]},{"given":"Marco","family":"Volpe","sequence":"additional","affiliation":[]},{"given":"Margherita","family":"Zorzi","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/j.ic.2017.01.007_br0010","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1017\/S0960129506005275","article-title":"A categorical quantum logic","volume":"16","author":"Abramsky","year":"2006","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/j.ic.2017.01.007_br0020","series-title":"Proceedings of the 2nd International Workshop on Quantum Programming Languages","article-title":"The logic of quantum programs","author":"Baltag","year":"2004"},{"issue":"3","key":"10.1016\/j.ic.2017.01.007_br0030","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1017\/S0960129506005299","article-title":"LQP: the dynamic logic of quantum information","volume":"16","author":"Baltag","year":"2006","journal-title":"Math. Struct. Comput. Sci."},{"issue":"2","key":"10.1016\/j.ic.2017.01.007_br0040","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/s11229-010-9783-6","article-title":"Quantum logic as a dynamic logic","volume":"179","author":"Baltag","year":"2011","journal-title":"Synthese"},{"issue":"6","key":"10.1016\/j.ic.2017.01.007_br0050","doi-asserted-by":"crossref","first-page":"1245","DOI":"10.1093\/logcom\/exp022","article-title":"Labelled tableaux for distributed temporal logic","volume":"19","author":"Basin","year":"2009","journal-title":"J. Log. Comput."},{"issue":"31","key":"10.1016\/j.ic.2017.01.007_br0060","doi-asserted-by":"crossref","first-page":"4007","DOI":"10.1016\/j.tcs.2011.04.006","article-title":"Distributed temporal logic for the analysis of security protocol models","volume":"412","author":"Basin","year":"2011","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"10.1016\/j.ic.2017.01.007_br0070","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1023\/A:1005003904639","article-title":"Natural deduction for non-classical logics","volume":"60","author":"Basin","year":"1998","journal-title":"Stud. Log."},{"key":"10.1016\/j.ic.2017.01.007_br0080","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/BF01257083","article-title":"The temporal logic of branching time","volume":"20","author":"Ben-Ari","year":"1983","journal-title":"Acta Inform."},{"key":"10.1016\/j.ic.2017.01.007_br0090","series-title":"Proceedings of IEEE International Conference on Computers, Systems, and Signal Processing","first-page":"175","article-title":"Quantum cryptography: public key distribution and coin tossing","author":"Bennett","year":"1984"},{"issue":"4","key":"10.1016\/j.ic.2017.01.007_br0100","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","article-title":"The logic of quantum mechanics","volume":"37","author":"Birkhoff","year":"1936","journal-title":"Ann. Math. (2)"},{"key":"10.1016\/j.ic.2017.01.007_br0110","series-title":"Proceedings of the 20th International Symposium on Temporal Representation and Reasoning","first-page":"45","article-title":"A labeled deduction system for the logic UB","author":"Caleiro","year":"2013"},{"issue":"2","key":"10.1016\/j.ic.2017.01.007_br0120","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1017\/S096012950800741X","article-title":"On a measurement-free quantum lambda calculus with classical control","volume":"19","author":"Dal Lago","year":"2009","journal-title":"Math. Struct. Comput. Sci."},{"issue":"2","key":"10.1016\/j.ic.2017.01.007_br0130","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/j.tcs.2009.07.045","article-title":"Quantum implicit computational complexity","volume":"411","author":"Dal Lago","year":"2010","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"10.1016\/j.ic.2017.01.007_br0140","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/j.entcs.2011.01.035","article-title":"Confluence results for a quantum lambda calculus with measurements","volume":"270","author":"Dal Lago","year":"2011","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"10.1016\/j.ic.2017.01.007_br0150","series-title":"Handbook of Philosophical Logic III","first-page":"427","article-title":"Quantum logic","author":"Dalla Chiara","year":"1986"},{"key":"10.1016\/j.ic.2017.01.007_br0160","series-title":"Labeled Natural Deduction Systems for a Family of Tense Logics","year":"2008"},{"key":"10.1016\/j.ic.2017.01.007_br0170","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1007\/s002360050167","article-title":"Specifying communication in distributed information systems","volume":"36","author":"Ehrich","year":"2000","journal-title":"Acta Inform."},{"key":"10.1016\/j.ic.2017.01.007_br0180","series-title":"Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)","first-page":"995","article-title":"Temporal and modal logic","author":"Emerson","year":"1990"},{"issue":"1","key":"10.1016\/j.ic.2017.01.007_br0190","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0022-0000(85)90001-7","article-title":"Decision procedures and expressiveness in the temporal logic of branching time","volume":"30","author":"Emerson","year":"1985","journal-title":"J. Comput. Syst. Sci."},{"key":"10.1016\/j.ic.2017.01.007_br0200","series-title":"A New Approach to Quantum Logic","author":"Engesser","year":"2007"},{"key":"10.1016\/j.ic.2017.01.007_br0210","series-title":"Handbook of Quantum Logic and Quantum Structures","year":"2009"},{"key":"10.1016\/j.ic.2017.01.007_br0220","series-title":"Labelled Deductive Systems, vol. 1","author":"Gabbay","year":"1996"},{"key":"10.1016\/j.ic.2017.01.007_br0230","series-title":"Proceedings of the 20th International Conference on Computer Aided Verification","article-title":"QMC: a model checker for quantum systems","volume":"vol. 5213","author":"Gay","year":"2008"},{"key":"10.1016\/j.ic.2017.01.007_br0240","series-title":"Proof Theory and Logical Complexity, vol. 1","author":"Girard","year":"1987"},{"key":"10.1016\/j.ic.2017.01.007_br0250","series-title":"Proceedings of International Conference on Autonomous Agents and Multi-agent Systems","article-title":"Automatic verification of parameterised multi-agent systems","author":"Kouvaros","year":"2013"},{"issue":"6","key":"10.1016\/j.ic.2017.01.007_br0260","doi-asserted-by":"crossref","first-page":"1093","DOI":"10.1093\/logcom\/exq028","article-title":"Labelled natural deduction for a bundled branching temporal logic","volume":"21","author":"Masini","year":"2011","journal-title":"J. Log. Comput."},{"key":"10.1016\/j.ic.2017.01.007_br0270","series-title":"Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic","article-title":"A qualitative modal representation of quantum register transformations","author":"Masini","year":"2008"},{"issue":"5\u20136","key":"10.1016\/j.ic.2017.01.007_br0280","first-page":"475","article-title":"Modal deduction systems for quantum state transformations","volume":"17","author":"Masini","year":"2011","journal-title":"J. Mult.-Valued Log. Soft Comput."},{"issue":"4","key":"10.1016\/j.ic.2017.01.007_br0290","first-page":"479","article-title":"The modal logic of quantum logic","volume":"8","author":"Mittelstaedt","year":"1979","journal-title":"J. Philos. Log."},{"key":"10.1016\/j.ic.2017.01.007_br0300","series-title":"Quantum Computing \u2013 From Linear Algebra to Physical Realizations","author":"Nakahara","year":"2008"},{"key":"10.1016\/j.ic.2017.01.007_br0310","series-title":"Quantum Computation and Quantum Information","author":"Nielsen","year":"2000"},{"issue":"1","key":"10.1016\/j.ic.2017.01.007_br0320","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/s11128-008-0091-8","article-title":"Perfect computational equivalence between quantum Turing machines and finitely generated uniform quantum circuit families","volume":"8","author":"Nishimura","year":"2009","journal-title":"Quantum Inf. Process."},{"key":"10.1016\/j.ic.2017.01.007_br0330","series-title":"Natural Deduction: A Proof-Theoretical Study","author":"Prawitz","year":"1965"},{"key":"10.1016\/j.ic.2017.01.007_br0340","series-title":"Advanced Linear Algebra","author":"Roman","year":"2008"},{"issue":"3","key":"10.1016\/j.ic.2017.01.007_br0350","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1017\/S0960129506005238","article-title":"A lambda calculus for quantum computation with classical control","volume":"16","author":"Selinger","year":"2006","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/j.ic.2017.01.007_br0360","series-title":"The Proof Theory and Semantics of Intuitionistic Modal Logic","author":"Simpson","year":"1994"},{"key":"10.1016\/j.ic.2017.01.007_br0370","series-title":"Labelled Non-Classical Logics","author":"Vigan\u00f2","year":"2000"},{"key":"10.1016\/j.ic.2017.01.007_br0380","series-title":"Proceedings of the 21st International Workshop on Logic, Language, Information, and Computation","first-page":"1","article-title":"Quantum state transformations and branching distributed temporal logic","volume":"vol. 8652","author":"Vigan\u00f2","year":"2014"},{"key":"10.1016\/j.ic.2017.01.007_br0390","series-title":"Handbook of Logic in Computer Science IV","article-title":"Event structures","author":"Winskel","year":"1995"},{"issue":"3","key":"10.1016\/j.ic.2017.01.007_br0400","doi-asserted-by":"crossref","DOI":"10.1145\/1507244.1507249","article-title":"An algebra of quantum processes","volume":"10","author":"Ying","year":"2009","journal-title":"ACM Trans. Comput. Log."},{"issue":"7","key":"10.1016\/j.ic.2017.01.007_br0410","doi-asserted-by":"crossref","first-page":"1107","DOI":"10.1017\/S0960129514000425","article-title":"On quantum lambda calculi: a foundational perspective","volume":"26","author":"Zorzi","year":"2016","journal-title":"Math. Struct. Comput. Sci."}],"container-title":["Information and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S089054011730010X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S089054011730010X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,8,1]],"date-time":"2021-08-01T01:26:29Z","timestamp":1627781189000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S089054011730010X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8]]},"references-count":41,"alternative-id":["S089054011730010X"],"URL":"https:\/\/doi.org\/10.1016\/j.ic.2017.01.007","relation":{},"ISSN":["0890-5401"],"issn-type":[{"value":"0890-5401","type":"print"}],"subject":[],"published":{"date-parts":[[2017,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations","name":"articletitle","label":"Article Title"},{"value":"Information and Computation","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.ic.2017.01.007","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2017 Elsevier Inc.","name":"copyright","label":"Copyright"}]}}