{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T11:33:05Z","timestamp":1760441585824,"version":"3.37.3"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,8,30]],"date-time":"2019-08-30T00:00:00Z","timestamp":1567123200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,8,30]],"date-time":"2019-08-30T00:00:00Z","timestamp":1567123200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100006445","name":"University of Warsaw","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100006445","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Appl. and Comput. Topology"],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.1007\/s41468-019-00040-z","type":"journal-article","created":{"date-parts":[[2019,8,31]],"date-time":"2019-08-31T06:23:30Z","timestamp":1567232610000},"page":"45-78","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Spaces of directed paths on pre-cubical sets II"],"prefix":"10.1007","volume":"4","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7695-4028","authenticated-orcid":false,"given":"Krzysztof","family":"Ziemia\u0144ski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,8,30]]},"reference":[{"key":"40_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Languages, and Programming. ICALP 2015","author":"L Dubut","year":"2015","unstructured":"Dubut, L., Goubault, E., Goubault-Larrecq, L.: Natural homology. In: Halld\u00f3rsson, M., Iwama, K., Kobayashi, N., Speckmann, B. (eds.) Automata, Languages, and Programming. ICALP 2015. Lecture Notes in Computer Science, vol. 9135. Springer, Berlin (2015)"},{"key":"40_CR2","unstructured":"Dugger, D.: A primer on homotopy colimits (2008). Preprint \nhttps:\/\/pages.uoregon.edu\/ddugger\/hocolim.pdf"},{"key":"40_CR3","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.entcs.2013.09.012","volume":"298","author":"U Fahrenberg","year":"2013","unstructured":"Fahrenberg, U., Legay, A.: History-preserving bisimilarity for higher-dimensional automata via open maps. Electron. Notes Theor. Comput. Sci. 298, 165\u2013178 (2013)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"40_CR4","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1016\/j.aam.2005.02.003","volume":"35","author":"L Fajstrup","year":"2005","unstructured":"Fajstrup, L.: Dipaths and dihomotopies in a cubical complex. Adv. Appl. Math. 35, 188\u2013206 (2005)","journal-title":"Adv. Appl. Math."},{"key":"40_CR5","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/j.tcs.2006.03.022","volume":"357","author":"L Fajstrup","year":"2006","unstructured":"Fajstrup, L., Goubault, E., Raussen, M.: Algebraic topology and concurrency. Theor. Comput. Sci. 357, 241\u2013278 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"40_CR6","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, Berlin (2016)"},{"key":"40_CR7","unstructured":"Goubault, E.: Labelled cubical sets and asynchronous transition systems: an adjunction (2002). \nhttp:\/\/www.lix.polytechnique.fr\/~goubault\/papers\/cmcim02.pdf"},{"key":"40_CR8","first-page":"281","volume":"44","author":"M Grandis","year":"2003","unstructured":"Grandis, M.: Directed homotopy theory, I. The fundamental category. Cah. Topol. Geom. Differ. Categ. 44, 281\u2013316 (2003)","journal-title":"Cah. Topol. Geom. Differ. Categ."},{"key":"40_CR9","doi-asserted-by":"crossref","unstructured":"Pratt, V.: Modelling concurrency with geometry. In: Proceedings of the 18th ACM Symposium on Principles of Programming Languages, pp. 311\u2013322 (1991)","DOI":"10.1145\/99583.99625"},{"key":"40_CR10","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/s10485-007-9085-4","volume":"15","author":"M Raussen","year":"2007","unstructured":"Raussen, M.: Invariants of directed spaces. Appl. Categ. Stuct. 15, 355\u2013386 (2007)","journal-title":"Appl. Categ. Stuct."},{"key":"40_CR11","doi-asserted-by":"publisher","first-page":"1718","DOI":"10.1016\/j.topol.2009.02.003","volume":"156","author":"M Raussen","year":"2009","unstructured":"Raussen, M.: Trace spaces in a pre-cubical complex. Topol. Appl. 156, 1718\u20131728 (2009)","journal-title":"Topol. Appl."},{"key":"40_CR12","doi-asserted-by":"publisher","first-page":"1683","DOI":"10.2140\/agt.2010.10.1683","volume":"10","author":"M Raussen","year":"2010","unstructured":"Raussen, M.: Simplicial models for trace spaces. Algebr. Geom. Topol. 10, 1683\u20131714 (2010)","journal-title":"Algebr. Geom. Topol."},{"key":"40_CR13","doi-asserted-by":"publisher","first-page":"1545","DOI":"10.2140\/agt.2012.12.1741","volume":"12","author":"M Raussen","year":"2012","unstructured":"Raussen, M.: Simplicial models for trace spaces II: general higher dimensional automata. Algebr. Geom. Topol. 12, 1545\u20131565 (2012)","journal-title":"Algebr. Geom. Topol."},{"key":"40_CR14","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/s40062-013-0045-4","volume":"9","author":"M Raussen","year":"2014","unstructured":"Raussen, M., Ziemia\u0144ski, K.: Homology of spaces of directed paths on Euclidian cubical complexes. J. Homotopy Relat. Struct. 9, 67\u201384 (2014)","journal-title":"J. Homotopy Relat. Struct."},{"key":"40_CR15","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.: On the expressiveness of higher dimensional automata. Theor. Comput. Sci. 368, 168\u2013194 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"40_CR16","doi-asserted-by":"publisher","first-page":"2127","DOI":"10.1016\/j.topol.2012.02.005","volume":"159","author":"K Ziemia\u0144ski","year":"2012","unstructured":"Ziemia\u0144ski, K.: A cubical model for path spaces in d-simplicial complexes. Topol. Appl. 159, 2127\u20132145 (2012). \nhttps:\/\/doi.org\/10.1016\/j.topol.2012.02.005","journal-title":"Topol. Appl."},{"key":"40_CR17","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/s00200-017-0316-0","volume":"28","author":"K Ziemia\u0144ski","year":"2017","unstructured":"Ziemia\u0144ski, K.: Spaces of directed paths on pre-cubical sets. Appl. Algebra Eng. Commun. Comput. 28, 497\u2013525 (2017). \nhttps:\/\/doi.org\/10.1007\/s00200-017-0316-0","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"key":"40_CR18","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/s00200-018-0360-4","volume":"30","author":"K Ziemia\u0144ski","year":"2019","unstructured":"Ziemia\u0144ski, K.: Directed path spaces via discrete vector fields. Appl. Algebra Eng. Commun. Comput. 30, 51\u201374 (2019a). \nhttps:\/\/doi.org\/10.1007\/s00200-018-0360-4","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"key":"40_CR19","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/s10485-018-9551-1","volume":"27","author":"K Ziemia\u0144ski","year":"2019","unstructured":"Ziemia\u0144ski, K.: Stable components of directed spaces. Appl. Categ. Struct. 27, 217\u2013244 (2019b). \nhttps:\/\/doi.org\/10.1007\/s10485-018-9551-1","journal-title":"Appl. Categ. Struct."}],"container-title":["Journal of Applied and Computational Topology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s41468-019-00040-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s41468-019-00040-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s41468-019-00040-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,28]],"date-time":"2020-08-28T23:25:43Z","timestamp":1598657143000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s41468-019-00040-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,30]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,3]]}},"alternative-id":["40"],"URL":"https:\/\/doi.org\/10.1007\/s41468-019-00040-z","relation":{},"ISSN":["2367-1726","2367-1734"],"issn-type":[{"type":"print","value":"2367-1726"},{"type":"electronic","value":"2367-1734"}],"subject":[],"published":{"date-parts":[[2019,8,30]]},"assertion":[{"value":"13 January 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 August 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 August 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"The author states that there is no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}