{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T05:17:49Z","timestamp":1726031869162},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030214999"},{"type":"electronic","value":"9783030215002"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-21500-2_1","type":"book-chapter","created":{"date-parts":[[2019,6,16]],"date-time":"2019-06-16T23:02:48Z","timestamp":1560726168000},"page":"3-19","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Concurrent Quantum Strategies"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Clairambault","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"de Visme","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Glynn","family":"Winskel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,23]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1093\/comjnl\/bxp052","volume":"54","author":"G Winskel","year":"2011","unstructured":"Winskel, G.: Events, causality and symmetry. Comput. J. 54, 42\u201357 (2011)","journal-title":"Comput. J."},{"key":"1_CR2","unstructured":"Winskel, G.: Distributed games and strategies. Festschrift for pierre-louis curien on the occasion of his 60th birthday (2014, as yet unpublished)"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/j.entcs.2013.09.024","volume":"298","author":"G Winskel","year":"2013","unstructured":"Winskel, G.: Distributed probabilistic and quantum strategies. Electr. Notes Theor. Comput. Sci. 298, 403\u2013425 (2013)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"1_CR4","unstructured":"Grabbe, J.: An introduction to quantum game theory. arXiv preprint quant-ph\/0506219 (2005)"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Pagani, M., Selinger, P., Valiron, B.: Applying quantitative semantics to higher-order quantum computing. In: POPL 2014 (2014)","DOI":"10.1145\/2535838.2535879"},{"key":"1_CR6","unstructured":"Delbecque, Y., Panagaden, P.: Game semantics for quantum stores. MFPS XXIV, Electr. Notes Theor. Comput. Sci. 218, 153\u2013170 (2008)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Dal Lago, U., Faggian, C., Valiron, B., Yoshimizu, A.: The geometry of parallelism, classical, probabilistic, and quantum effects. In: POPL 2017 (2017)","DOI":"10.1145\/3009837.3009859"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1038\/nphys2930","volume":"10","author":"C Brukner","year":"2014","unstructured":"Brukner, C.: Quantum causality. Nat. Phys. 10, 259 (2014)","journal-title":"Nat. Phys."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: LICS 2004 (2004)","DOI":"10.1109\/LICS.2004.1319636"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Castellan, S., Clairambault, P., Winskel, G.: The parallel intensionally fully abstract games model of PCF. In: LICS 2015 (2015)","DOI":"10.1109\/LICS.2015.31"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Castellan, S., Clairambault, P., Paquet, H., Winskel, G.: The concurrent game semantics of probabilistic PCF. In: LICS 2018 (2018)","DOI":"10.1145\/3209108.3209187"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/j.entcs.2008.04.022","volume":"210","author":"P Selinger","year":"2008","unstructured":"Selinger, P., Valiron, B.: On a fully abstract model for a quantum linear functional language. Electr. Notes Theor. Comput. Sci. 210, 123\u2013137 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Clairambault, P., de Visme, M., Winskel, G.: Game semantics for quantum programming. In: POPL 2019 (2019)","DOI":"10.1145\/3290345"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Joyal, A., Street, R., Verity, D.: Traced monoidal categories. In: Mathematical Proceedings of the Cambridge Philosophical Society (1996)","DOI":"10.1017\/S0305004100074338"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.entcs.2006.12.018","volume":"170","author":"P Selinger","year":"2007","unstructured":"Selinger, P.: Dagger compact closed categories and completely positive maps: (extended abstract). Electr. Notes Theor. Comput. Sci. 170, 139\u2013163 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1007\/978-3-319-06880-0_25","volume-title":"Horizons of the Mind. A Tribute to Prakash Panangaden","author":"G Winskel","year":"2014","unstructured":"Winskel, G.: Probabilistic and quantum event structures. In: van Breugel, F., Kashefi, E., Palamidessi, C., Rutten, J. (eds.) Horizons of the Mind. A Tribute to Prakash Panangaden. LNCS, vol. 8464, pp. 476\u2013497. Springer, Cham (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-319-06880-0_25"},{"key":"1_CR17","first-page":"629","volume":"61","author":"M Alvarez-Manilla","year":"2000","unstructured":"Alvarez-Manilla, M., Edalat, A., Saheb-Djahromi, N.: An extension result for continuous valuations. J. LMS 61, 629\u2013640 (2000)","journal-title":"J. LMS"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"052130","DOI":"10.1103\/PhysRevA.88.052130","volume":"88","author":"MS Leifer","year":"2013","unstructured":"Leifer, M.S., Spekkens, R.W.: Towards a formulation of quantum theory as a causally neutral theory of Bayesian inference. Phys. Rev. 88, 052130 (2013)","journal-title":"Phys. Rev."},{"issue":"3","key":"1_CR19","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.entcs.2006.10.055","volume":"175","author":"L Saunders-Evans","year":"2007","unstructured":"Saunders-Evans, L., Winskel, G.: Event structure spans for nondeterministic dataflow. Electr. Notes Theor. Comput. Sci. 175(3), 109\u2013129 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1017\/S0960129504004256","volume":"14","author":"P Selinger","year":"2004","unstructured":"Selinger, P.: Towards a quantum programming language. Math. Struct. Comput. Sci. 14, 527\u2013586 (2004)","journal-title":"Math. Struct. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-21500-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,16]],"date-time":"2019-06-16T23:14:24Z","timestamp":1560726864000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-21500-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030214999","9783030215002"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-21500-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"23 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Reversible Computation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lausanne","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Switzerland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rc2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/reversible-computation.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"22","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"12","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"55% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"One invited paper is included.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}}]}}