{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T11:26:25Z","timestamp":1753356385458,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662476659"},{"type":"electronic","value":"9783662476666"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-662-47666-6_14","type":"book-chapter","created":{"date-parts":[[2015,6,19]],"date-time":"2015-06-19T07:46:47Z","timestamp":1434700007000},"page":"171-183","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Natural Homology"],"prefix":"10.1007","author":[{"given":"J\u00e9r\u00e9my","family":"Dubut","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c9ric","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":[[2015,6,20]]},"reference":[{"issue":"2\u20133","key":"14_CR1","doi-asserted-by":"publisher","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\u20133), 187\u2013211 (1985)","journal-title":"Journal of Pure and Applied Algebra"},{"issue":"2","key":"14_CR2","first-page":"255","volume":"46","author":"G Carlsson","year":"2009","unstructured":"Carlsson, G.: Topology and data. AMS. Bulletin 46(2), 255\u2013308 (2009)","journal-title":"Bulletin"},{"issue":"2","key":"14_CR3","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/356586.356588","volume":"3","author":"EG Coffman","year":"1971","unstructured":"Coffman, E.G., Elphick, M.J., Shoshani, A.: System deadlocks. Computing Surveys 3(2), 67\u201378 (1971)","journal-title":"Computing Surveys"},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.entcs.2004.09.005","volume":"100","author":"U Fahrenberg","year":"2004","unstructured":"Fahrenberg, U.: Directed homology. Electronic Notes in Theoretical Computer Science 100, 111\u2013125 (2004)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"2","key":"14_CR5","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. Advances in Applied Mathematics 35(2), 188\u2013206 (2005)","journal-title":"Advances in Applied Mathematics"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-642-28869-2_14","volume-title":"Programming Languages and Systems","author":"L Fajstrup","year":"2012","unstructured":"Fajstrup, L., Goubault, E., Haucourt, E., Mimram, S., Raussen, M.: Trace Spaces: An Efficient New Technique for State-Space Reduction. In: Seidl, H. (ed.) Programming Languages and Systems. LNCS, vol. 7211, pp. 274\u2013294. Springer, Heidelberg (2012)"},{"key":"14_CR7","unstructured":"Goubault, E.: G\u00e9om\u00e9trie du parall\u00e9lisme. PhD thesis, Ecole Polytechnique (1995)"},{"issue":"4","key":"14_CR8","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1017\/S0960129500003133","volume":"10","author":"E Goubault","year":"2000","unstructured":"Goubault, E.: Geometry and concurrency: A user\u2019s guide. Mathematical Structures in Computer Science 10(4), 411\u2013425 (2000)","journal-title":"Mathematical Structures in Computer Science"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/11539452_38","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"E Goubault","year":"2005","unstructured":"Goubault, E., Haucourt, E.: A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653, pp. 503\u2013517. Springer, Heidelberg (2005)"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Goubault, E., Heindel, T., Mimram, S.: A geometric view of partial order reduction. Electronic Notes in Theoretical Computer Science, 298 (2013)","DOI":"10.1016\/j.entcs.2013.09.013"},{"key":"14_CR11","doi-asserted-by":"publisher","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":"14_CR12","doi-asserted-by":"crossref","unstructured":"Grandis, M.: Directed Algebraic Topology. Models of non-reversible worlds. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511657474"},{"issue":"2","key":"14_CR13","doi-asserted-by":"publisher","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. Information and Computation 127(2), 164\u2013185 (1996)","journal-title":"Information and Computation"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"T. Kaczynski, K. Mischaikow, and M. Mrozek. Computing homology. Homology, Homotopy and Applications 5(2), 233\u2013256 (2003)","DOI":"10.4310\/HHA.2003.v5.n2.a8"},{"key":"14_CR15","unstructured":"Kahl, T.: The homology graph of a HDA (2013). arXiv:1307.7994"},{"key":"14_CR16","unstructured":"Krishnan, S.: Flow-cut dualities for sheaves on graphs (2014). arXiv:1409.6712"},{"issue":"1","key":"14_CR17","first-page":"229","volume":"1","author":"A Patchkoria","year":"2006","unstructured":"Patchkoria, A.: On exactness of long sequences of homology semimodules. Journal of Homotopy and Related Structures 1(1), 229\u2013243 (2006)","journal-title":"Journal of Homotopy and Related Structures"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Pratt, V.R.: Modeling Concurrency with Geometry. In: Wise, D.S. (ed.) 18th Ann. ACM Symp. Principles of Programming Languages, pp. 311\u2013322 (1991)","DOI":"10.1145\/99583.99625"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Raussen, M.: Invariants of directed spaces. Applied Categorical Structures, 15 (2007)","DOI":"10.1007\/s10485-007-9085-4"},{"issue":"3","key":"14_CR20","doi-asserted-by":"publisher","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"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Sergeraert, F: The computability problem in algebraic topology. Advances in Mathematics, pp. 1\u201329 (1994)","DOI":"10.1006\/aima.1994.1018"},{"key":"14_CR22","unstructured":"van Glabeek, R.: Comparative concurrency semantics and refinement of actions. PhD thesis, Centrum voor Wiskunder en Informatica (1990)"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages, and Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-47666-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T15:23:09Z","timestamp":1674228189000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-47666-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662476659","9783662476666"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-47666-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"20 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}