{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,20]],"date-time":"2025-08-20T13:16:50Z","timestamp":1755695810782,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030887001"},{"type":"electronic","value":"9783030887018"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-88701-8_7","type":"book-chapter","created":{"date-parts":[[2021,10,21]],"date-time":"2021-10-21T23:06:25Z","timestamp":1634857585000},"page":"108-125","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Abstract Strategies and Coherence"],"prefix":"10.1007","author":[{"given":"Cameron","family":"Calk","sequence":"first","affiliation":[]},{"given":"Eric","family":"Goubault","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Malbos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,22]]},"reference":[{"issue":"1","key":"7_CR1","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/BF01190768","volume":"33","author":"SL Bloom","year":"1995","unstructured":"Bloom, S.L., \u00c9sik, Z., Stefanescu, G.: Notes on equational theories of relations. Algebra Universalis 33(1), 98\u2013126 (1995)","journal-title":"Algebra Universalis"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Burroni, A.: Higher-dimensional word problems with applications to equational logic. Theoret. Comput. Sci. 115(1), 43\u201362 (1993). 4th Summer Conference on Category Theory and Computer Science (Paris, 1991)","DOI":"10.1016\/0304-3975(93)90054-W"},{"key":"7_CR3","unstructured":"Calk, C., Goubault, E., Malbos, P., Struth, G.: Algebraic coherent confluence and higher-dimensional globular Kleene algebras (2020, preprint). arXiv:2006.16129"},{"key":"7_CR4","unstructured":"Curien, P.-L., Duric, A., Guiraud, Y.: Coherent presentations of a class of monoids admitting a Garside family (2021). arXiv:2107.00498"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Termination in modal Kleene algebra. In: Exploring New Frontiers of Theoretical Informatics. IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), pp. 647\u2013660. Kluwer Academic Publishers, Boston, MA (2004)","DOI":"10.1007\/1-4020-8141-3_49"},{"issue":"3","key":"7_CR6","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.scico.2010.05.007","volume":"76","author":"J Desharnais","year":"2011","unstructured":"Desharnais, J., Struth, G.: Internal axioms for domain semirings. Sci. Comput. Program. 76(3), 181\u2013203 (2011)","journal-title":"Sci. Comput. Program."},{"key":"7_CR7","unstructured":"Fahrenberg, U., Johansen, C., Struth, G., Ziemianski, K.: Languages of higher-dimensional automata. CoRR, abs\/2103.07557 (2021)"},{"key":"7_CR8","unstructured":"Fahrenberg, U., Johansen, C., Struth, G., Ziemianski, K.: lr-multisemigroups and modal convolution algebras. CoRR abs\/2105.00188 (2021)"},{"key":"7_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-15398-8","volume-title":"Directed Algebraic Topology and Concurrency","author":"L Fajstrup","year":"2016","unstructured":"Fajstrup, L., Goubault, E., Haucourt, E., Mimram, S., Raussen, M.: Directed Algebraic Topology and Concurrency. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-15398-8"},{"issue":"5","key":"7_CR10","doi-asserted-by":"publisher","first-page":"957","DOI":"10.1112\/S0010437X14007842","volume":"151","author":"S Gaussent","year":"2015","unstructured":"Gaussent, S., Guiraud, Y., Malbos, P.: Coherent presentations of Artin monoids. Compos. Math. 151(5), 957\u2013998 (2015)","journal-title":"Compos. Math."},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-319-48989-6_19","volume-title":"FM 2016: Formal Methods","author":"VBF Gomes","year":"2016","unstructured":"Gomes, V.B.F., Struth, G.: Modal Kleene algebra applied to program correctness. In: Fitzgerald, J., Heitmeyer, C., Gnesi, S., Philippou, A. (eds.) FM 2016. LNCS, vol. 9995, pp. 310\u2013325. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-48989-6_19"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Gonthier, G., L\u00e9vy, J., Melli\u00e8s, P.: An abstract standardisation theorem. In: Proceedings of the 7th Annual Symposium on Logic in Computer Science, LICS 1992, pp. 72\u201381. IEEE Computer Society (1992)","DOI":"10.1109\/LICS.1992.185521"},{"issue":"18","key":"7_CR13","first-page":"420","volume":"22","author":"Y Guiraud","year":"2009","unstructured":"Guiraud, Y., Malbos, P.: Higher-dimensional categories with finite derivation type. Theor. Appl. Categ. 22(18), 420\u2013478 (2009)","journal-title":"Theor. Appl. Categ."},{"issue":"6","key":"7_CR14","doi-asserted-by":"publisher","first-page":"931","DOI":"10.1017\/S096012951100065X","volume":"22","author":"Y Guiraud","year":"2012","unstructured":"Guiraud, Y., Malbos, P.: Coherence in monoidal track categories. Math. Struct. Comput. Sci. 22(6), 931\u2013969 (2012)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"3\u20134","key":"7_CR15","doi-asserted-by":"publisher","first-page":"2294","DOI":"10.1016\/j.aim.2012.05.010","volume":"231","author":"Y Guiraud","year":"2012","unstructured":"Guiraud, Y., Malbos, P.: Higher-dimensional normalisation strategies for acyclicity. Adv. Math. 231(3\u20134), 2294\u20132351 (2012)","journal-title":"Adv. Math."},{"issue":"2","key":"7_CR16","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1017\/S0960129516000220","volume":"28","author":"Y Guiraud","year":"2018","unstructured":"Guiraud, Y., Malbos, P.: Polygraphs of finite derivation type. Math. Struct. Comput. Sci. 28(2), 155\u2013201 (2018)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"5","key":"7_CR17","doi-asserted-by":"publisher","first-page":"1259","DOI":"10.1007\/s10468-017-9686-z","volume":"20","author":"N Hage","year":"2017","unstructured":"Hage, N., Malbos, P.: Knuth\u2019s coherent presentations of plactic monoids of type A. Algebr. Represent. Theor. 20(5), 1259\u20131288 (2017)","journal-title":"Algebr. Represent. Theor."},{"issue":"6","key":"7_CR18","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1016\/j.jlap.2011.04.005","volume":"80","author":"T Hoare","year":"2011","unstructured":"Hoare, T., M\u00f6ller, B., Struth, G., Wehrman, I.: Concurrent Kleene algebra and its foundations. J. Log. Algebr. Program. 80(6), 266\u2013296 (2011)","journal-title":"J. Log. Algebr. Program."},{"issue":"6","key":"7_CR19","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1016\/j.jlap.2011.04.005","volume":"80","author":"T Hoare","year":"2011","unstructured":"Hoare, T., M\u00f6ller, B., Struth, G., Wehrman, I.: Concurrent Kleene algebra and its foundations. J. Log. Algebraic Meth. Program. 80(6), 266\u2013296 (2011)","journal-title":"J. Log. Algebraic Meth. Program."},{"key":"7_CR20","unstructured":"Huet, G.: Initiation \u00e0 la th\u00e9orie des cat\u00e9gories. INRIA. Notes de cours du DEA \u201cFonctionalit\u00e9, Structures de Calcul et Programmation\u201d donn\u00e9 \u00e0 l\u2019Universit\u00e9 Paris VII en 1983\u201384 et 1984\u20131985 (1987)"},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B., Tarski, A.: Boolean algebras with operators. I. Am. J. Math. 73, 891\u2013939 (1951)","journal-title":"I. Am. J. Math."},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Lawson, M.: Inverse Semigroups. The Theory of Partial Symmetries. World Scientific Publishing Company (1998)","DOI":"10.1142\/3645"},{"issue":"4","key":"7_CR23","first-page":"28","volume":"49","author":"S MacLane","year":"1963","unstructured":"MacLane, S.: Natural associativity and commutativity. Rice Univ. Stud. 49(4), 28\u201346 (1963)","journal-title":"Rice Univ. Stud."},{"key":"7_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1007\/11601548_23","volume-title":"Processes, Terms and Cycles: Steps on the Road to Infinity","author":"P-A Melli\u00e8s","year":"2005","unstructured":"Melli\u00e8s, P.-A.: Axiomatic rewriting theory i: a diagrammatic standardization theorem. In: Middeldorp, A., van Oostrom, V., van Raamsdonk, F., de Vrijer, R. (eds.) Processes, Terms and Cycles: Steps on the Road to Infinity. LNCS, vol. 3838, pp. 554\u2013638. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11601548_23"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Pratt, V.R.: Modeling concurrency with geometry. In: Wise, D.S. (eds.) Conference Record of the 18th Annual ACM Symposium on Principles of Programming Languages 1991, pp. 311\u2013322. ACM Press (1991)","DOI":"10.1145\/99583.99625"},{"key":"7_CR26","unstructured":"Rosenthal, K.I.: Quantales and their applications, volume 234 of Pitman Research Notes in Mathematics Series. Longman Scientific & Technical, Harlow; copublished in the United States with Wiley, New York (1990)"},{"issue":"2","key":"7_CR27","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0304-3975(94)90175-9","volume":"131","author":"CC Squier","year":"1994","unstructured":"Squier, C.C., Otto, F., Kobayashi, Y.: A finiteness condition for rewriting systems. Theoret. Comput. Sci. 131(2), 271\u2013294 (1994)","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"7_CR28","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0022-4049(76)90013-X","volume":"8","author":"R Street","year":"1976","unstructured":"Street, R.: Limits indexed by category-valued $$2$$-functors. J. Pure Appl. Algebra 8(2), 149\u2013181 (1976)","journal-title":"J. Pure Appl. Algebra"},{"key":"7_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1007\/3-540-36280-0_19","volume-title":"Relational Methods in Computer Science","author":"G Struth","year":"2002","unstructured":"Struth, G.: Calculating Church-Rosser proofs in Kleene Algebra. In: de Swart, H.C.M. (ed.) RelMiCS 2001. LNCS, vol. 2561, pp. 276\u2013290. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-36280-0_19"},{"key":"7_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-030-02149-8_14","volume-title":"Relational and Algebraic Methods in Computer Science","author":"JJ Huerta y Munive","year":"2018","unstructured":"Huerta y Munive, J.J., Struth, G.: Verifying hybrid systems with modal Kleene algebra. In: Desharnais, J., Guttmann, W., Joosten, S. (eds.) RAMiCS 2018. LNCS, vol. 11194, pp. 225\u2013243. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-02149-8_14"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-88701-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T13:11:48Z","timestamp":1725973908000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-88701-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030887001","9783030887018"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-88701-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"22 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RAMiCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Relational and Algebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Marseille","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 November 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 November 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ramics2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ramics19.lis-lab.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}