{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T04:04:57Z","timestamp":1743825897040,"version":"3.40.3"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T00:00:00Z","timestamp":1737331200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T00:00:00Z","timestamp":1737331200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["UI\/BD\/152071\/2021","UIDB\/00013\/2020, UIDP\/00013\/2020","UIDB\/00013\/2020, UIDP\/00013\/2020"],"award-info":[{"award-number":["UI\/BD\/152071\/2021","UIDB\/00013\/2020, UIDP\/00013\/2020","UIDB\/00013\/2020, UIDP\/00013\/2020"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Appl. and Comput. Topology"],"published-print":{"date-parts":[[2025,3]]},"DOI":"10.1007\/s41468-025-00201-3","type":"journal-article","created":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T10:48:26Z","timestamp":1737370106000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the topology of concurrent systems"],"prefix":"10.1007","volume":"9","author":[{"given":"Catarina","family":"Faustino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Kahl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodrigo","family":"Lopes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,1,20]]},"reference":[{"key":"201_CR1","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press, Cambridge (2008)"},{"key":"201_CR2","unstructured":"Dubut, J., Goubault, E., Goubault-Larrecq, J.: The Directed Homotopy Hypothesis. In: Talbot, J.-M., Regnier, L. (eds.) 25th EACSL Annual Conference on Computer Science Logic (CSL 2016), volume 62 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 9:1\u20139:16, Dagstuhl. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, Germany (2016)"},{"key":"201_CR3","doi-asserted-by":"crossref","unstructured":"Fajstrup, L., Goubault, E., Haucourt, E., Mimram, S., Raussen, M.: Directed Algebraic Topology and Concurrency. Springer (2016)","DOI":"10.1007\/978-3-319-15398-8"},{"key":"201_CR4","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/j.tcs.2006.07.048","volume":"365","author":"L Fajstrup","year":"2006","unstructured":"Fajstrup, L.: Cubical local partial orders on cubically subdivided spaces-Existence and construction. Theoret. Comput. Sci. 365, 199\u2013205 (2006)","journal-title":"Theoret. Comput. Sci."},{"key":"201_CR5","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/j.tcs.2006.03.022","volume":"357","author":"L Fajstrup","year":"2006","unstructured":"Fajstrup, L., Rau\u00dfen, M., Goubault, E.: Algebraic topology and concurrency. Theoret. Comput. Sci. 357, 241\u2013278 (2006)","journal-title":"Theoret. Comput. Sci."},{"key":"201_CR6","doi-asserted-by":"crossref","first-page":"1452","DOI":"10.1016\/j.tcs.2009.11.013","volume":"411","author":"P Gaucher","year":"2010","unstructured":"Gaucher, P.: Combinatorics of labelling in higher-dimensional automata. Theoret. Comput. Sci. 411, 1452\u20131483 (2010)","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"201_CR7","doi-asserted-by":"crossref","first-page":"95","DOI":"10.4310\/HHA.2003.v5.n2.a5","volume":"5","author":"E Goubault","year":"2003","unstructured":"Goubault, E.: Some geometric perspectives in concurrency theory. Homology, Homotopy and Applications 5(2), 95\u2013136 (2003)","journal-title":"Homology, Homotopy and Applications"},{"key":"201_CR8","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/j.entcs.2012.05.007","volume":"283","author":"E Goubault","year":"2012","unstructured":"Goubault, E., Mimram, S.: Formal relationships between geometrical and classical models for concurrency. Electronic Notes in Theoretical Computer Science 283, 77\u2013109 (2012)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"3","key":"201_CR9","first-page":"4:1","volume":"16","author":"E Goubault","year":"2020","unstructured":"Goubault, E., Mimram, S.: Directed Homotopy in Non-Positively Curved Spaces. Logical Methods in Computer Science 16(3), 4:1-4:55 (2020)","journal-title":"Logical Methods in Computer Science"},{"key":"201_CR10","doi-asserted-by":"crossref","unstructured":"Grandis, M.: Directed Algebraic Topology: Models of Non-Reversible Worlds, volume\u00a013 of New Mathematical Monographs. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511657474"},{"key":"201_CR11","volume-title":"The Spin model checker: primer and reference manual","author":"G Holzmann","year":"2008","unstructured":"Holzmann, G.: The Spin model checker: primer and reference manual. Addison-Wesley, Reading (2008)"},{"key":"201_CR12","unstructured":"Kahl, T.: (2018\u20132024). pg2hda [Computer software]. https:\/\/github.com\/twkahl\/PG2HDA\/"},{"issue":"3\u20134","key":"201_CR13","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/s41468-019-00023-0","volume":"2","author":"T Kahl","year":"2018","unstructured":"Kahl, T.: Labeled homology of higher-dimensional automata. J. Appl. Comput. Topol. 2(3\u20134), 271\u2013300 (2018)","journal-title":"J. Appl. Comput. Topol."},{"issue":"3","key":"201_CR14","first-page":"28:1","volume":"15","author":"T Kahl","year":"2019","unstructured":"Kahl, T.: Higher-dimensional automata modeling shared-variable systems. Logical Methods in Computer Science 15(3), 28:1-28:21 (2019)","journal-title":"Logical Methods in Computer Science"},{"issue":"1","key":"201_CR15","first-page":"1","volume":"23","author":"T Kahl","year":"2021","unstructured":"Kahl, T.: Weak equivalence of higher-dimensional automata. Discrete Math. Theor. Comput. Sci. 23(1), 1\u201331 (2021)","journal-title":"Discrete Math. Theor. Comput. Sci."},{"issue":"2","key":"201_CR16","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/s10485-013-9330-y","volume":"23","author":"S Krishnan","year":"2015","unstructured":"Krishnan, S.: Cubical approximation for directed topology I. Applied Categorical Structures 23(2), 177\u2013214 (2015)","journal-title":"Applied Categorical Structures"},{"issue":"3","key":"201_CR17","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0020-0190(81)90106-X","volume":"12","author":"G Peterson","year":"1981","unstructured":"Peterson, G.: Myths about the mutual exclusion problem. Information Processing Letters 12(3), 115\u2013116 (1981)","journal-title":"Information Processing Letters"},{"key":"201_CR18","doi-asserted-by":"crossref","unstructured":"Pratt, V.: Modeling Concurrency with Geometry. In: POPL \u201991, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 311\u2013322. ACM New York, NY, USA (1991)","DOI":"10.1145\/99583.99625"},{"issue":"4","key":"201_CR19","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/s10485-007-9085-4","volume":"15","author":"M Raussen","year":"2007","unstructured":"Raussen, M.: Invariants of Directed Spaces. Applied Categorical Structures 15(4), 355\u2013386 (2007)","journal-title":"Applied Categorical Structures"},{"issue":"3","key":"201_CR20","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/j.tcs.2006.02.012","volume":"356","author":"R van Glabbeek","year":"2006","unstructured":"van Glabbeek, R.: On the expressiveness of higher dimensional automata. Theoret. Comput. Sci. 356(3), 265\u2013290 (2006)","journal-title":"Theoret. Comput. Sci."},{"key":"201_CR21","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/j.tcs.2016.01.018","volume":"619","author":"K Ziemia\u0144ski","year":"2016","unstructured":"Ziemia\u0144ski, K.: On execution spaces of PV-programs. Theoretical Computer Science 619, 87\u201398 (2016)","journal-title":"Theoretical Computer Science"}],"container-title":["Journal of Applied and Computational Topology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41468-025-00201-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s41468-025-00201-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41468-025-00201-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T07:30:43Z","timestamp":1743751843000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s41468-025-00201-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1,20]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,3]]}},"alternative-id":["201"],"URL":"https:\/\/doi.org\/10.1007\/s41468-025-00201-3","relation":{},"ISSN":["2367-1726","2367-1734"],"issn-type":[{"type":"print","value":"2367-1726"},{"type":"electronic","value":"2367-1734"}],"subject":[],"published":{"date-parts":[[2025,1,20]]},"assertion":[{"value":"26 April 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 January 2025","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 January 2025","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 January 2025","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no conflict of interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}],"article-number":"5"}}