{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T13:57:33Z","timestamp":1768831053369,"version":"3.49.0"},"reference-count":32,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2016,11,11]],"date-time":"2016-11-11T00:00:00Z","timestamp":1478822400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Royal Society and JSPS KAKENHI","award":["JP25330016"],"award-info":[{"award-number":["JP25330016"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2016,11,15]]},"abstract":"<jats:p>Binary multirelations generalise binary relations by associating elements of a set to its subsets. We study the structure and algebra of multirelations under the operations of union, intersection, sequential, and parallel composition, as well as finite and infinite iteration. Starting from a set-theoretic investigation, we propose axiom systems for multirelations in contexts ranging from bi-monoids to bi-quantales.<\/jats:p>","DOI":"10.1145\/2964907","type":"journal-article","created":{"date-parts":[[2016,11,11]],"date-time":"2016-11-11T17:02:54Z","timestamp":1478883774000},"page":"1-34","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Taming Multirelations"],"prefix":"10.1145","volume":"17","author":[{"given":"Hitoshi","family":"Furusawa","sequence":"first","affiliation":[{"name":"Kagoshima University, Kagoshima, Japan"}]},{"given":"Georg","family":"Struth","sequence":"additional","affiliation":[{"name":"University of Sheffield, Sheffield, UK"}]}],"member":"320","published-online":{"date-parts":[[2016,11,11]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1674-2"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00230-8"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(80)90069-9"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-006-0001-8"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/322234.322243"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04639-1_6"},{"key":"e_1_2_1_7_1","doi-asserted-by":"crossref","unstructured":"J. Desharnais B. M\u00f6ller and G. Struth. 2011. Algebraic notions of termination. Logical Methods in Computer Science 7 1 (2011).  J. Desharnais B. M\u00f6ller and G. Struth. 2011. Algebraic notions of termination. Logical Methods in Computer Science 7 1 (2011).","DOI":"10.2168\/LMCS-7(1:1)2011"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79980-1_25"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5109\/21043"},{"key":"e_1_2_1_10_1","unstructured":"H. Furusawa and G. Struth. 2015a. Binary multirelations. Archive of Formal Proofs (2015).  H. Furusawa and G. Struth. 2015a. Binary multirelations. Archive of Formal Proofs (2015)."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2785967"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90124-7"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01028975"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2011.04.005"},{"key":"e_1_2_1_15_1","series-title":"LMS Lecture Notes Series 64","volume-title":"Basic concepts of enriched category theory","author":"Kelly G. M.","year":"1982"},{"key":"e_1_2_1_16_1","unstructured":"R. D. Maddux. 2006. Relation Algebras. Elsevier.  R. D. Maddux. 2006. Relation Algebras. Elsevier."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.01.007"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1307\/mmj\/1028999131"},{"key":"e_1_2_1_19_1","first-page":"90","article-title":"Constructive Concurrent Dynamic Logic I","author":"Nerode A.","year":"1990","journal-title":"Technical Report"},{"key":"e_1_2_1_20_1","volume-title":"Isabelle\/HOL - A Proof Assistant for Higher-Order Logic. LNCS","volume":"2283","author":"Nipkow T."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04639-1_19"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1983.47"},{"key":"e_1_2_1_23_1","volume-title":"Topics in the Theory of Computation (Mathematics Studies)","author":"Parikh R."},{"key":"e_1_2_1_24_1","volume-title":"Theoretical Computer Science (LNCS)","author":"Park D. M. P."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1027354826364"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(87)90035-3"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/23005.23008"},{"key":"e_1_2_1_28_1","volume-title":"Theory and Applications of Relational Structures as Knowledge Instruments (LNCS)","author":"Rewitzky I."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/11828563_21"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2012.05.004"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-008-9390-y"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2004.12.001"}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2964907","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2964907","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:40:01Z","timestamp":1750218001000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2964907"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,11]]},"references-count":32,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,11,15]]}},"alternative-id":["10.1145\/2964907"],"URL":"https:\/\/doi.org\/10.1145\/2964907","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"value":"1529-3785","type":"print"},{"value":"1557-945X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,11,11]]},"assertion":[{"value":"2015-06-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-06-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-11-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}