{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T07:46:56Z","timestamp":1743752816362,"version":"3.37.3"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2016,6,15]],"date-time":"2016-06-15T00:00:00Z","timestamp":1465948800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1007\/s10485-016-9438-y","type":"journal-article","created":{"date-parts":[[2016,6,15]],"date-time":"2016-06-15T15:56:06Z","timestamp":1466006166000},"page":"775-807","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Directed Homology Theories and Eilenberg-Steenrod Axioms"],"prefix":"10.1007","volume":"25","author":[{"given":"J\u00e9r\u00e9my","family":"Dubut","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3198-1863","authenticated-orcid":false,"given":"Eric","family":"Goubault","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean","family":"Goubault-Larrecq","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,15]]},"reference":[{"issue":"2-3","key":"9438_CR1","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/0022-4049(85)90008-8","volume":"38","author":"H-J Baues","year":"1985","unstructured":"Baues, H.-J., Wirsching, G.: Cohomology of small categories. Journal of Pure and Applied Algebra 38(2-3), 187\u2013211 (1985)","journal-title":"Journal of Pure and Applied Algebra"},{"issue":"11","key":"9438_CR2","first-page":"266","volume":"5","author":"MA Bednarczyk","year":"1999","unstructured":"Bednarczyk, M.A., Borzyszkowski, A.M., Pawlowski, W.: Generalized congruences-epimorphisms in Cat. Theory and Applications of Categories 5(11), 266\u2013280 (1999)","journal-title":"Theory and Applications of Categories"},{"key":"9438_CR3","volume-title":"Topology and Geometry Graduate Texts in Mathematics, vol. 139","author":"G Bredon","year":"1993","unstructured":"Bredon, G.: Topology and Geometry Graduate Texts in Mathematics, vol. 139. Springer, New York (1993)"},{"issue":"2","key":"9438_CR4","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/s00454-004-1146-y","volume":"33","author":"G Carlsson","year":"2005","unstructured":"Carlsson, G., Zomorodian, A.: Computing persistent homology. Discret. Comput. Geom. 33(2), 249\u2013274 (2005)","journal-title":"Discret. Comput. Geom."},{"key":"9438_CR5","doi-asserted-by":"crossref","unstructured":"Coffman, E.G., Elphick, M.J., Shoshani, A.: System deadlocks ACM computing surveys 3(2) (1971)","DOI":"10.1145\/356586.356588"},{"key":"9438_CR6","first-page":"171","volume":"2","author":"J Dubut","year":"2015","unstructured":"Dubut, J., Goubault, E., Goubault-Larrecq, J.: Natural homology. ICALP 2, 171\u2013183 (2015)","journal-title":"ICALP"},{"key":"9438_CR7","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/j.entcs.2004.09.005","volume":"100","author":"U Fahrenberg","year":"2004","unstructured":"Fahrenberg, U.: Directed homology. Electron. Notes Theor. Comput. Sci. 100, 111\u2013125 (2004)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"2","key":"9438_CR8","doi-asserted-by":"crossref","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(2), 188\u2013206 (2005)","journal-title":"Adv. Appl. Math."},{"issue":"1\u20133","key":"9438_CR9","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., Raussen, M., Goubault, E.: Algebraic topology and concurrency. Theor. Comput. Sci. 357(1\u20133), 241\u2013278 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"9438_CR10","doi-asserted-by":"crossref","unstructured":"Fajstrup, L., Goubault, E., Haucourt, E., Mimram, S., Raussen, M.: Trace spaces: an efficient new technique for state-space reduction. ESOP, 274\u2013294 (2012)","DOI":"10.1007\/978-3-642-28869-2_14"},{"key":"9438_CR11","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":"9438_CR12","unstructured":"Grandis, M.: General homological algebra, I. Semiexact and homological categories. preprint 186, Dipartimento di Matematica Universit\u00e0 degli Studi di Genova (1991)"},{"key":"9438_CR13","unstructured":"Grandis, M.: General homological algebra, II. Homology and satellites. preprint 187, Dipartimento di Matematica Universit\u00e0 degli Studi di Genova (1991)"},{"key":"9438_CR14","doi-asserted-by":"crossref","first-page":"413","DOI":"10.4310\/HHA.2004.v6.n1.a21","volume":"6","author":"M Grandis","year":"2004","unstructured":"Grandis, M.: Inequilogical spaces, directed homology and noncommutative geometry. Homology, Homotopy and Applications 6, 413\u2013437 (2004)","journal-title":"Homology, Homotopy and Applications"},{"key":"9438_CR15","doi-asserted-by":"crossref","unstructured":"Grandis, M.: Directed Algebraic Topology, Models of Non-Reversible Worlds. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511657474"},{"key":"9438_CR16","doi-asserted-by":"crossref","unstructured":"Goubault, E., Jensen, T.P.: Homology of higher dimensional automata. CONCUR, 254\u2013268 (1992)","DOI":"10.1007\/BFb0084796"},{"key":"9438_CR17","unstructured":"Goubault, E.: G\u00e9om\u00e9trie Du Parall\u00e9lisme. PhD thesis, Ecole Polytechnique (1995)"},{"key":"9438_CR18","unstructured":"Guiraud, Y., Malbos, P., Mimram, S.: A homotopical completion procedure with applications to coherence of monoids. RTA, 223\u2013238 (2013)"},{"issue":"2","key":"9438_CR19","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1006\/inco.1996.0057","volume":"127","author":"A Joyal","year":"1996","unstructured":"Joyal, A., Nielsen, M., Winskel, G.: Bisimulation from open maps. Inf. Comput. 127(2), 164\u2013185 (1996)","journal-title":"Inf. Comput."},{"issue":"2","key":"9438_CR20","doi-asserted-by":"crossref","first-page":"233","DOI":"10.4310\/HHA.2003.v5.n2.a8","volume":"5","author":"T Kaczynski","year":"2003","unstructured":"Kaczynski, T., Mischaikow, K., Mrozek, M.: Computing homology. Homology, Homotopy and Applications 5(2), 233\u2013256 (2003)","journal-title":"Homology, Homotopy and Applications"},{"key":"9438_CR21","unstructured":"Kahl, T.: The homology graph of a higher dimensional automaton. arXiv: 1307.7994 (2013)"},{"issue":"5","key":"9438_CR22","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/s10485-008-9140-9","volume":"17","author":"S Krishnan","year":"2014","unstructured":"Krishnan, S.: A convenient category of locally preordered spaces. Appl. Categ. Struct. 17(5), 445\u2013466 (2014)","journal-title":"Appl. Categ. Struct."},{"key":"9438_CR23","unstructured":"Krishnan, S.: Flow-cut Dualities for Sheaves on Graphs, arXiv: 1409.6712 (2014)"},{"key":"9438_CR24","doi-asserted-by":"crossref","unstructured":"MacLane, S.: Categories for the Working Mathematician, Graduate Text in Mathematics, vol. 5. Springer (1971)","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"9438_CR25","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall (1989)"},{"key":"9438_CR26","unstructured":"Mitchell, B.: Theory of Categories. Academic Press Inc (1995)"},{"key":"9438_CR27","doi-asserted-by":"crossref","unstructured":"Mitchell, B.: Rings with several objects, Advances in Mathematics (1972)","DOI":"10.1016\/0001-8708(72)90002-3"},{"key":"9438_CR28","unstructured":"Nachbin, L.: Topology and Order, volume 4 of Van Nostrand Mathematical Studies. Robert E. Krieger Publishing Company (1965)"},{"key":"9438_CR29","doi-asserted-by":"crossref","unstructured":"Park, D.: Concurrency and automata on infinite sequences. In: Deussen, P. (ed.) Theoretical Computer Science. Proceedings of the 5th GI-Conference. Lecture Notes in Computer Science 104. Springer (1981)","DOI":"10.1007\/BFb0017309"},{"key":"9438_CR30","doi-asserted-by":"crossref","unstructured":"Pratt, V.R.: Modeling concurrency with geometry. POPL, 311\u2013322 (1991)","DOI":"10.1145\/99583.99625"},{"issue":"9","key":"9438_CR31","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. Topology and its Applications 156(9), 1718\u20131728 (2009)","journal-title":"Topology and its Applications"},{"issue":"3","key":"9438_CR32","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. Algebraic and Geometric Topology 10(3), 1683\u20131714 (2010)","journal-title":"Algebraic and Geometric Topology"},{"issue":"3","key":"9438_CR33","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. Algebraic and Geometric Topology 12(3), 1741\u20131762 (2012)","journal-title":"Algebraic and Geometric Topology"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-016-9438-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-016-9438-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-016-9438-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-016-9438-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T15:59:29Z","timestamp":1568044769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-016-9438-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,15]]},"references-count":33,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2017,10]]}},"alternative-id":["9438"],"URL":"https:\/\/doi.org\/10.1007\/s10485-016-9438-y","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[2016,6,15]]}}}