{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T05:53:41Z","timestamp":1683179621608},"reference-count":30,"publisher":"World Scientific Pub Co Pte Ltd","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2021,3]]},"abstract":"As a quantum counterpart of labeled transition system (LTS), quantum labeled transition system (QLTS) is a powerful formalism for modeling quantum programs or protocols, and gives a categorical understanding for quantum computation. With the help of quantum branching monad, QLTS provides a framework extending some ideas in non-deterministic or probabilistic systems to quantum systems. On the other hand, quantum finite automata (QFA) emerged as a very elegant and simple model for resolving some quantum computational problems. In this paper, we propose the notion of reactive quantum system (RQS), a variant of QLTS capturing reactive system behavior, and develop a coalgebraic semantics for QLTS, RQS and QFA by an endofunctor on the category of convex sets, which has a final coalgebra. Such a coalgebraic semantics provides a unifying abstract interpretation for QLTS, RQS and QFA. The notions of bisimulation and simulation can be employed to compare the behavior of different types of quantum systems and judge whether a coalgebra can be behaviorally simulated by another.<\/jats:p>","DOI":"10.1142\/s0218194021500133","type":"journal-article","created":{"date-parts":[[2021,4,6]],"date-time":"2021-04-06T02:14:30Z","timestamp":1617675270000},"page":"381-403","source":"Crossref","is-referenced-by-count":1,"title":["A Unifying Coalgebraic Semantics Framework for Quantum Systems"],"prefix":"10.1142","volume":"31","author":[{"given":"Ai","family":"Liu","sequence":"first","affiliation":[{"name":"School of Mathematical Sciences, Peking University, P. R. China"},{"name":"Graduate School of Advanced Science and Engineering, Hiroshima University, Japan"}]},{"given":"Meng","family":"Sun","sequence":"additional","affiliation":[{"name":"School of Mathematical Sciences, Peking University, P. R. China"},{"name":"Center for Quantum Computing, Peng Cheng Laboratory, Shenzhen 518055, P. R. China"}]}],"member":"219","published-online":{"date-parts":[[2021,3,31]]},"reference":[{"key":"S0218194021500133BIB001","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511813887"},{"key":"S0218194021500133BIB002","volume-title":"Quantum Computation and Quantum Information","author":"Nielsen M. A.","year":"2002"},{"key":"S0218194021500133BIB003","volume-title":"Foundations of Quantum Programming","author":"Ying M.","year":"2016"},{"key":"S0218194021500133BIB004","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004256"},{"key":"S0218194021500133BIB006","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2016.10.010"},{"key":"S0218194021500133BIB007","doi-asserted-by":"publisher","DOI":"10.1017\/9781316219317"},{"key":"S0218194021500133BIB008","doi-asserted-by":"publisher","DOI":"10.1145\/1507244.1507249"},{"key":"S0218194021500133BIB009","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24897-9_7"},{"key":"S0218194021500133BIB010","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2015.07.001"},{"key":"S0218194021500133BIB011","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040318"},{"key":"S0218194021500133BIB012","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00191-1"},{"key":"S0218194021500133BIB013","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1997.646094"},{"key":"S0218194021500133BIB014","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-005-1263-x"},{"issue":"1","key":"S0218194021500133BIB015","first-page":"70","volume":"1","author":"Hirvensalo M.","year":"2010","journal-title":"IJNCR"},{"key":"S0218194021500133BIB016","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_33"},{"key":"S0218194021500133BIB017","series-title":"LNCS","first-page":"54","volume-title":"Proc. FSEN 2015","volume":"9392","author":"Lago U. D.","year":"2015"},{"key":"S0218194021500133BIB019","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33475-7_9"},{"key":"S0218194021500133BIB020","doi-asserted-by":"publisher","DOI":"10.1145\/2579818"},{"key":"S0218194021500133BIB021","doi-asserted-by":"publisher","DOI":"10.1145\/2400676.2400680"},{"key":"S0218194021500133BIB022","first-page":"1","volume-title":"Proc. (FCS) 2012","author":"Kubota T.","year":"2012"},{"key":"S0218194021500133BIB023","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781316823187","volume-title":"Introduction to Coalgebra: Towards Mathematics of States and Observation","volume":"59","author":"Jacobs B.","year":"2016"},{"key":"S0218194021500133BIB025","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44584-6_31"},{"key":"S0218194021500133BIB026","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.158.3"},{"key":"S0218194021500133BIB027","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32409-4_24"},{"key":"S0218194021500133BIB028","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00056-6"},{"key":"S0218194021500133BIB029","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.09.072"},{"key":"S0218194021500133BIB030","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-010-0117-4"},{"key":"S0218194021500133BIB032","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2013.04.002"},{"key":"S0218194021500133BIB033","doi-asserted-by":"publisher","DOI":"10.1007\/s11128-008-0091-8"},{"key":"S0218194021500133BIB034","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2018.09.001"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194021500133","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,23]],"date-time":"2022-12-23T12:43:30Z","timestamp":1671799410000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194021500133"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,3]]},"references-count":30,"journal-issue":{"issue":"03","published-print":{"date-parts":[[2021,3]]}},"alternative-id":["10.1142\/S0218194021500133"],"URL":"https:\/\/doi.org\/10.1142\/s0218194021500133","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,3]]}}}