{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:03:06Z","timestamp":1726408986508},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319247038"},{"type":"electronic","value":"9783319247045"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24704-5_6","type":"book-chapter","created":{"date-parts":[[2015,9,24]],"date-time":"2015-09-24T05:31:29Z","timestamp":1443072689000},"page":"84-100","source":"Crossref","is-referenced-by-count":0,"title":["Relational Formalisations of Compositions and Liftings of Multirelations"],"prefix":"10.1007","author":[{"given":"Hitoshi","family":"Furusawa","sequence":"first","affiliation":[]},{"given":"Yasuo","family":"Kawahara","sequence":"additional","affiliation":[]},{"given":"Georg","family":"Struth","sequence":"additional","affiliation":[]},{"given":"Norihiro","family":"Tsumagari","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,8]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus: A Systematic Introduction","author":"R.-J. Back","year":"1998","unstructured":"Back, R.-J., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer (1998)"},{"issue":"1","key":"6_CR2","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/322234.322243","volume":"28","author":"A.K. Chandra","year":"1981","unstructured":"Chandra, A.K., Kozen, D., Stockmeyer, L.J.: Alternation. J. ACM\u00a028(1), 114\u2013133 (1981)","journal-title":"J. ACM"},{"key":"6_CR3","volume-title":"Categories, allegories","author":"P. Freyd","year":"1990","unstructured":"Freyd, P., Scedrov, A.: Categories, allegories. North-Holland, Amsterdam (1990)"},{"issue":"3","key":"6_CR4","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/j.jlamp.2014.12.003","volume":"84","author":"H. Furusawa","year":"2015","unstructured":"Furusawa, H., Kawahara, Y.: Point axioms and related conditions in Dedekind categories. J. Log. Algebr. Meth. Program\u00a084(3), 359\u2013376 (2015)","journal-title":"J. Log. Algebr. Meth. Program"},{"key":"6_CR5","unstructured":"Furusawa, H., Struth, G.: Concurrent Dynamic Algebra. ACM Transactions on Computational Logic (in Press)"},{"key":"6_CR6","unstructured":"Furusawa, H., Struth, G.: Taming Multirelations. CoRR abs\/1501.05147 (2015)"},{"issue":"3\/4","key":"6_CR7","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/BF01028975","volume":"51","author":"R. Goldblatt","year":"1992","unstructured":"Goldblatt, R.: Parallel Action: Concurrent Dynamic Logic with Independent Modalities. Studia Logica\u00a051(3\/4), 551\u2013578 (1992)","journal-title":"Studia Logica"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Mac Lane, S.: Categories for the working mathematician. Springer (1971)","DOI":"10.1007\/978-1-4612-9839-7"},{"issue":"3","key":"6_CR9","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1017\/S0960129512000965","volume":"23","author":"C.E. Martin","year":"2013","unstructured":"Martin, C.E., Curtis, S.A.: The algebra of multirelations. Mathematical Structures in Computer Science\u00a023(3), 635\u2013674 (2013)","journal-title":"Mathematical Structures in Computer Science"},{"key":"6_CR10","first-page":"939","volume":"260","author":"J.-P. Olivier","year":"1980","unstructured":"Olivier, J.-P., Serrato, D.: Cat\u00e9gories de Dedekind. Morphismes dans les Cat\u00e9gories de Schr\u00f6der. C. R. Acad. Sci. Paris\u00a0260, 939\u2013941 (1980)","journal-title":"C. R. Acad. Sci. Paris"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Parikh, R.: Propositional Game Logic. In: FOCS 1983, pp. 195\u2013200. IEEE Computer Society (1983)","DOI":"10.1109\/SFCS.1983.47"},{"issue":"1","key":"6_CR12","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0022-0000(87)90035-3","volume":"35","author":"D. Peleg","year":"1987","unstructured":"Peleg, D.: Communication in Concurrent Dynamic Logic. J. Comput. Syst. Sci.\u00a035(1), 23\u201358 (1987)","journal-title":"J. Comput. Syst. Sci."},{"issue":"2","key":"6_CR13","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1145\/23005.23008","volume":"34","author":"D. Peleg","year":"1987","unstructured":"Peleg, D.: Concurrent dynamic logic. J. ACM\u00a034(2), 450\u2013479 (1987)","journal-title":"J. ACM"},{"key":"6_CR14","unstructured":"Schmidt, G.: Relational Mathematics. Encyclopedia of Mathematics and its Applications, vol.\u00a0132. Cambridge University Press (2011)"},{"key":"6_CR15","unstructured":"Tsumagari, N.: Probability meets Non-Probability via Complete IL-Semi-rings. Ph.D. Thesis, Graduate School of Science and Engineering, Kagoshima University, Japan (2012)"},{"issue":"2","key":"6_CR16","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/s11229-008-9390-y","volume":"165","author":"J. Benthem van","year":"2008","unstructured":"van Benthem, J., Ghosh, S., Liu, F.: Modelling simultaneous games in dynamic logic. Synthese\u00a0165(2), 247\u2013268 (2008)","journal-title":"Synthese"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24704-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T01:35:15Z","timestamp":1559266515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24704-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319247038","9783319247045"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24704-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}