{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T11:29:46Z","timestamp":1760441386485},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2017,3,2]],"date-time":"2017-03-02T00:00:00Z","timestamp":1488412800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["AAECC"],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1007\/s00200-017-0316-0","type":"journal-article","created":{"date-parts":[[2017,3,2]],"date-time":"2017-03-02T08:27:41Z","timestamp":1488443261000},"page":"497-525","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Spaces of directed paths on pre-cubical sets"],"prefix":"10.1007","volume":"28","author":[{"given":"Krzysztof","family":"Ziemia\u0144ski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,3,2]]},"reference":[{"key":"316_CR1","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/S0195-6698(84)80012-8","volume":"5","author":"A Bj\u00f6rner","year":"1984","unstructured":"Bj\u00f6rner, A.: Posets, regular CW-complexes and Bruhat order. Eur. J. Comb. 5, 7\u201316 (1984)","journal-title":"Eur. J. Comb."},{"key":"316_CR2","first-page":"43","volume-title":"Programming Languages","author":"EW Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: Co-operating sequential processes. In: Genuys, F. (ed.) Programming Languages, pp. 43\u2013110. Academic Press, New York (1968)"},{"key":"316_CR3","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., Goubault, E., Raussen, M.: Algebraic topology and concurrency. Theor. Comput. Sci. 357, 241\u2013278 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"316_CR4","doi-asserted-by":"crossref","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":"316_CR5","first-page":"281","volume":"44","author":"M Grandis","year":"2003","unstructured":"Grandis, M.: Directed homotopy theory, I. The fundamental category. Cahiers Topol. Geom. Differ. Categ. 44, 281\u2013316 (2003)","journal-title":"Cahiers Topol. Geom. Differ. Categ."},{"key":"316_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511657474","volume-title":"Directed Algebraic Topology, Models of Non-reversible Worlds, New Mathematical Monographs 13","author":"M Grandis","year":"2009","unstructured":"Grandis, M.: Directed Algebraic Topology, Models of Non-reversible Worlds, New Mathematical Monographs 13. Cambridge University Press, Cambridge (2009)"},{"key":"316_CR7","volume-title":"Algebraic Topology","author":"A Hatcher","year":"2002","unstructured":"Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2002)"},{"key":"316_CR8","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"},{"issue":"9","key":"316_CR9","doi-asserted-by":"crossref","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(9), 1718\u20131728 (2009)","journal-title":"Topol. Appl."},{"key":"316_CR10","doi-asserted-by":"crossref","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":"316_CR11","doi-asserted-by":"crossref","first-page":"1741","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, 1741\u20131761 (2012)","journal-title":"Algebr. Geom. Topol."},{"key":"316_CR12","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/s00200-012-0165-9","volume":"23","author":"M Raussen","year":"2012","unstructured":"Raussen, M.: Execution spaces for simple higher dimensional automata. Appl. Algebra Eng. Commun. Comput. 23, 59\u201384 (2012)","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"key":"316_CR13","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 Euclidean cubical complexes. J. Homotopy Relat. Struct. 9, 67\u201384 (2014). doi: 10.1007\/s40062-013-0045-4","journal-title":"J. Homotopy Relat. Struct."},{"key":"316_CR14","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/BF02684591","volume":"34","author":"G Segal","year":"1968","unstructured":"Segal, G.: Classifying spaces and spectral sequences. Inst. Ht. Etudes Sci. Publ. Math. 34, 105\u2013112 (1968)","journal-title":"Inst. Ht. Etudes Sci. Publ. Math."},{"key":"316_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8431-1","volume-title":"Lectures on Polytopes","author":"GM Ziegler","year":"1995","unstructured":"Ziegler, G.M.: Lectures on Polytopes. Springer, Berlin (1995)"},{"key":"316_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). doi: 10.1016\/j.topol.2012.02.005","journal-title":"Topol. Appl."},{"key":"316_CR17","doi-asserted-by":"publisher","first-page":"55","DOI":"10.4064\/fm217-1-5","volume":"217","author":"K Ziemia\u0144ski","year":"2012","unstructured":"Ziemia\u0144ski, K.: Categories of directed spaces. Fundam. Math. 217, 55\u201371 (2012). doi: 10.4064\/fm217-1-5","journal-title":"Fundam. Math."},{"key":"316_CR18","doi-asserted-by":"publisher","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. Theor. Comput. Sci. 619, 87\u201398 (2016). doi: 10.1016\/j.tcs.2016.01.018","journal-title":"Theor. Comput. Sci."}],"container-title":["Applicable Algebra in Engineering, Communication and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00200-017-0316-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-017-0316-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-017-0316-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,19]],"date-time":"2019-09-19T07:03:21Z","timestamp":1568876601000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00200-017-0316-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,2]]},"references-count":18,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["316"],"URL":"https:\/\/doi.org\/10.1007\/s00200-017-0316-0","relation":{},"ISSN":["0938-1279","1432-0622"],"issn-type":[{"value":"0938-1279","type":"print"},{"value":"1432-0622","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3,2]]}}}