{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T11:20:38Z","timestamp":1778498438356,"version":"3.51.4"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031479625","type":"print"},{"value":"9783031479632","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-47963-2_18","type":"book-chapter","created":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T21:41:26Z","timestamp":1700689286000},"page":"295-312","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Closure and\u00a0Decision Properties for\u00a0Higher-Dimensional Automata"],"prefix":"10.1007","author":[{"given":"Amazigh","family":"Amrane","sequence":"first","affiliation":[]},{"given":"Hugo","family":"Bazille","sequence":"additional","affiliation":[]},{"given":"Uli","family":"Fahrenberg","sequence":"additional","affiliation":[]},{"given":"Krzysztof","family":"Ziemia\u0144ski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,11,23]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Amrane, A., Bazille, H., Fahrenberg, U., Ziemia\u0144ski, K.: Closure and decision properties for higher-dimensional automata. CoRR, abs\/2305.02873 (2023)","DOI":"10.1007\/978-3-031-47963-2_18"},{"key":"18_CR2","unstructured":"Bednarczyk, M.A.: Categories of Asynchronous Systems. PhD thesis, University of Sussex, UK (1987)"},{"key":"18_CR3","unstructured":"Fahrenberg, U.: Higher-dimensional timed and hybrid automata. Leibniz Trans. Embed. Syst. 8(2), 03:1\u201303:16 (2022)"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Fahrenberg, U., Johansen, C., Struth, G., Ziemianski, K.: Languages of higher-dimensional automata. Math. Struct. Comput. Sci. 31(5), 575\u2013613 (2021). http:\/\/arxiv.org\/2103.07557","DOI":"10.1017\/S0960129521000293"},{"key":"18_CR5","doi-asserted-by":"publisher","unstructured":"Fahrenberg, U., Johansen, C., Struth, G., Ziemianski, K.: A Kleene theorem for higher-dimensional automata. In: Klin, B., Lasota, S., Muscholl, A. (eds.), CONCUR, volume 243 of Leibniz International Proceedings in Informatics, pp. 29:1\u201329:18. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2022). https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2022.29","DOI":"10.4230\/LIPIcs.CONCUR.2022.29"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Fahrenberg, U., Johansen, C., Struth, G., Ziemianski, K.: Posets with interfaces as a model for concurrency. Inf. Comput. 285(B), 104914 (2022). http:\/\/arxiv.org\/2106.10895","DOI":"10.1016\/j.ic.2022.104914"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Fahrenberg, U., Johansen, C., Struth, G., Ziemianski, K.: Catoids and modal convolution algebras. Algebra Univ. 84(10) (2023)","DOI":"10.1007\/s00012-023-00805-9"},{"key":"18_CR8","doi-asserted-by":"publisher","unstructured":"Fahrenberg, U., ZiemiaNski, K.: A myhill-nerode theorem for higher-dimensional automata. In: Gomes, L., Lorenz, R. (eds.) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2023. LNCS, vol. 13929, pp. 167\u2013188. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-33620-1_9, http:\/\/arxiv.org\/2210.08298","DOI":"10.1007\/978-3-031-33620-1_9"},{"key":"18_CR9","doi-asserted-by":"publisher","unstructured":"Fanchon, J., Morin, R.: Regular sets of pomsets with autoconcurrency. In: Brim, L., K\u0159et\u00ednsk\u00fd, M., Ku\u010dera, A., Jan\u010dar, P. (eds.) CONCUR 2002. LNCS, vol. 2421, pp. 402\u2013417. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45694-5_27","DOI":"10.1007\/3-540-45694-5_27"},{"key":"18_CR10","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(85)90042-1","volume-title":"Interval Orders and Interval Graphs: A Study of Partially Ordered Sets","author":"PC Fishburn","year":"1985","unstructured":"Fishburn, P.C.: Interval Orders and Interval Graphs: A Study of Partially Ordered Sets. Wiley, Hoboken (1985)"},{"key":"18_CR11","unstructured":"Goubault, E.: Labelled cubical sets and asynchronous transition systems: an adjunction. In: CMCIM (2002). http:\/\/www.lix.polytechnique.fr\/~goubault\/papers\/cmcim02.ps.gz"},{"issue":"2","key":"18_CR12","doi-asserted-by":"publisher","first-page":"427","DOI":"10.3233\/FI-1981-4210","volume":"4","author":"J Grabowski","year":"1981","unstructured":"Grabowski, J.: On partial languages. Fundam. Inform. 4(2), 427 (1981)","journal-title":"Fundam. Inform."},{"issue":"1\u20132","key":"18_CR13","doi-asserted-by":"publisher","first-page":"31","DOI":"10.3233\/FI-2019-1838","volume":"169","author":"R Janicki","year":"2019","unstructured":"Janicki, R., Koutny, M.: Operational semantics, interval orders and sequences of antichains. Fundam. Inform. 169(1\u20132), 31\u201355 (2019)","journal-title":"Fundam. Inform."},{"issue":"4","key":"18_CR14","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1016\/j.jlamp.2015.12.005","volume":"85","author":"P Jipsen","year":"2016","unstructured":"Jipsen, P., Moshier, M.A.: Concurrent Kleene algebra with tests and branching automata. J. Log. Algebraic Methods Program. 85(4), 637\u2013652 (2016)","journal-title":"J. Log. Algebraic Methods Program."},{"issue":"1\u20132","key":"18_CR15","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/S0304-3975(00)00031-1","volume":"237","author":"K Lodaya","year":"2000","unstructured":"Lodaya, K., Weil, P.: Series-parallel languages and the bounded-width property. Theor. Comput. Sci. 237(1\u20132), 347\u2013380 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Pratt, V.R.: Modeling concurrency with geometry. In: POPL, pp. 311\u2013322. ACM Press, New York City (1991)","DOI":"10.1145\/99583.99625"},{"issue":"5","key":"18_CR17","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1093\/comjnl\/28.5.449","volume":"28","author":"W Mike","year":"1985","unstructured":"Mike, W.: Shields. Concurrent machines. Comput. J. 28(5), 449\u2013465 (1985)","journal-title":"Comput. J."},{"key":"18_CR18","unstructured":"van Glabbeek, R.J.: Bisimulations for higher dimensional automata. Email message, June 1991. http:\/\/theory.stanford.edu\/~rvg\/hda"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.J.: On the expressiveness of higher dimensional automata. Theor. Comput. Sci. 356(3), 265\u2013290 (2006). See also [20]","DOI":"10.1016\/j.tcs.2006.02.012"},{"issue":"1\u20132","key":"18_CR20","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1016\/j.tcs.2006.06.024","volume":"368","author":"RJ van Glabbeek","year":"2006","unstructured":"van Glabbeek, R.J.: Erratum to \u201cOn the expressiveness of higher dimensional automata\u2019\u2019. Theor. Comput. Sci. 368(1\u20132), 168\u2013194 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"18_CR21","first-page":"441","volume":"17","author":"N Wiener","year":"1914","unstructured":"Wiener, N.: A contribution to the theory of relative position. Proc. Camb. Philos. Soc. 17, 441\u2013449 (1914)","journal-title":"Proc. Camb. Philos. Soc."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2023"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-47963-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,26]],"date-time":"2023-12-26T07:03:29Z","timestamp":1703574209000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-47963-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031479625","9783031479632"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-47963-2_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"23 November 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTAC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Colloquium on Theoretical Aspects of Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lima","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Peru","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 December 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 December 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ictac2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ictac2023.compsust.utec.edu.pe\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}