{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T07:48:56Z","timestamp":1743752936331,"version":"3.28.0"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2024,9,19]],"date-time":"2024-09-19T00:00:00Z","timestamp":1726704000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,9,19]],"date-time":"2024-09-19T00:00:00Z","timestamp":1726704000000},"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":["J Appl. and Comput. Topology"],"published-print":{"date-parts":[[2024,12]]},"DOI":"10.1007\/s41468-024-00190-9","type":"journal-article","created":{"date-parts":[[2024,9,19]],"date-time":"2024-09-19T18:02:34Z","timestamp":1726768954000},"page":"2247-2284","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Persistent homology of partially ordered spaces"],"prefix":"10.1007","volume":"8","author":[{"given":"Cameron","family":"Calk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Goubault","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Malbos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,19]]},"reference":[{"key":"190_CR1","unstructured":"Barannikov, S.A.: The framed Morse complex and its invariants. In: Singularities and Bifurcations, pp. 93\u2013115. American Mathematical Society, Providence, RI (1994)"},{"issue":"2\u20133","key":"190_CR2","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. J. Pure Appl. Algebra 38(2\u20133), 187\u2013211 (1985). https:\/\/doi.org\/10.1016\/0022-4049(85)90008-8","journal-title":"J. Pure Appl. Algebra"},{"key":"190_CR3","doi-asserted-by":"crossref","unstructured":"Bonichon, R., Canet, G., Correnson, L., Goubault, E., Haucourt, E., Hirschowitz, M., Labb\u00e9, S., Mimram, S.: Rigorous evidence of freedom from concurrency faults in industrial control software. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) Computer Safety, Reliability, and Security\u201430th International Conference, SAFECOMP 2011, Naples, Italy, September 19\u201322, 2011. Proceedings. Lecture Notes in Computer Science, vol. 6894, pp. 85\u201398. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-24270-0_7"},{"key":"190_CR4","unstructured":"Botnan, M.B., Curry, J., Munch, E.: A relative theory of interleavings. arXiv:2004.14286 (2020)"},{"issue":"6","key":"190_CR5","doi-asserted-by":"publisher","first-page":"1501","DOI":"10.1007\/s10208-014-9229-5","volume":"15","author":"P Bubenik","year":"2014","unstructured":"Bubenik, P., de Silva, V., Scott, J.: Metrics for generalized persistence modules. Found. Comput. Math. 15(6), 1501\u20131531 (2014). https:\/\/doi.org\/10.1007\/s10208-014-9229-5","journal-title":"Found. Comput. Math."},{"issue":"2","key":"190_CR6","doi-asserted-by":"publisher","first-page":"31","DOI":"10.4310\/hha.2020.v22.n2.a2","volume":"22","author":"C Calk","year":"2020","unstructured":"Calk, C., Goubault, E., Malbos, P.: Time-reversal homotopical properties of concurrent systems. Homol. Homotopy Appl. 22(2), 31\u201357 (2020). https:\/\/doi.org\/10.4310\/hha.2020.v22.n2.a2","journal-title":"Homol. Homotopy Appl."},{"issue":"2","key":"190_CR7","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1090\/S0273-0979-09-01249-X","volume":"46","author":"G Carlsson","year":"2009","unstructured":"Carlsson, G.: Topology and data. Bull. Amer. Math. Soc. (N.S.) 46(2), 255\u2013308 (2009). https:\/\/doi.org\/10.1090\/S0273-0979-09-01249-X","journal-title":"Bull. Amer. Math. Soc. (N.S.)"},{"issue":"1","key":"190_CR8","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s00454-009-9176-0","volume":"42","author":"G Carlsson","year":"2009","unstructured":"Carlsson, G., Zomorodian, A.: The theory of multidimensional persistence. Discrete Comput. Geom. 42(1), 71\u201393 (2009)","journal-title":"Discrete Comput. Geom."},{"key":"190_CR9","doi-asserted-by":"crossref","unstructured":"Curry, J., Mukherjee, S., Turner, K.: How many directions determine a shape and other sufficiency results for two topological transforms (2021)","DOI":"10.1090\/btran\/122"},{"key":"190_CR10","doi-asserted-by":"crossref","unstructured":"Dubut, J., Goubault, \u00c9., Goubault-Larrecq, J.: Directed homology theories and Eilenberg\u2013Steenrod axioms. Appl. Categ. Structu. 1\u201333 (2016)","DOI":"10.1007\/s10485-016-9438-y"},{"key":"190_CR11","doi-asserted-by":"crossref","unstructured":"Dubut, J., Goubault, E., Goubault-Larrecq, J.: Natural homology. In: Automata, Languages, and Programming\u201442nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6\u201310, 2015, Proceedings, Part II, pp. 171\u2013183 (2015)","DOI":"10.1007\/978-3-662-47666-6_14"},{"key":"190_CR12","unstructured":"Dubut, J.: Directed homotopy and homology theories for geometric models of true concurrency. PhD thesis (September 2017)"},{"key":"190_CR13","doi-asserted-by":"publisher","unstructured":"Edelsbrunner, H., Harer, J.L.: Computational Topology. American Mathematical Society, Providence, RI (2010). https:\/\/doi.org\/10.1090\/mbk\/069","DOI":"10.1090\/mbk\/069"},{"key":"190_CR14","doi-asserted-by":"publisher","unstructured":"Edelsbrunner, H., Harer, J.: Persistent homology\u2014a survey. In: Surveys on Discrete and Computational Geometry. Contemporary Mathematics, vol. 453, pp. 257\u2013282. American Mathematical Society, Providence, RI (2008). https:\/\/doi.org\/10.1090\/conm\/453\/08802","DOI":"10.1090\/conm\/453\/08802"},{"key":"190_CR15","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/s00454-002-2885-2","volume":"28","author":"H Edelsbrunner","year":"2002","unstructured":"Edelsbrunner, H., Letscher, D., Zomorodian, A.: Topological persistence and simplification. Discrete Comput. Geom. 28, 511\u2013533 (2002). https:\/\/doi.org\/10.1007\/s00454-002-2885-2","journal-title":"Discrete Comput. Geom."},{"key":"190_CR16","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. Electron. Notes Theor. Comput. Sci. 100, 111\u2013125 (2004)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"190_CR17","first-page":"93","volume":"2","author":"U Fahrenberg","year":"2007","unstructured":"Fahrenberg, U., Raussen, M.: Reparametrizations of continuous paths. J. Homotopy Relat. Struct. 2, 93\u2013117 (2007)","journal-title":"J. Homotopy Relat. Struct."},{"issue":"1","key":"190_CR18","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., Rau\u00dfen, M., Goubault, E.: Algebraic topology and concurrency. Theor. Comput. Sci. 357(1), 241\u2013278 (2006). https:\/\/doi.org\/10.1016\/j.tcs.2006.03.022","journal-title":"Theor. Comput. Sci."},{"key":"190_CR19","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\u201421st European Symposium on Programming","author":"L Fajstrup","year":"2012","unstructured":"Fajstrup, L., Goubault, E., Haucourt, E., Mimram, S., Rau\u00dfen, M.: Trace spaces: an efficient new technique for state-space reduction. In: Seidl, H. (ed.) Programming Languages and Systems\u201421st European Symposium on Programming. Lecture Notes in Computer Science, vol. 7211, pp. 274\u2013294. Springer, Berlin (2012)"},{"key":"190_CR20","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)"},{"issue":"4","key":"190_CR21","first-page":"596","volume":"9","author":"P Frosini","year":"1999","unstructured":"Frosini, P., Landi, C.: Size theory as a topological tool for computer vision. Pattern Recognit. Image Anal. 9(4), 596\u2013603 (1999)","journal-title":"Pattern Recognit. Image Anal."},{"key":"190_CR22","doi-asserted-by":"publisher","unstructured":"Goubault, E., Mimram, S.: Directed Homotopy in non-positively curved spaces, pp. 1\u201355 (2016). https:\/\/doi.org\/10.2168\/LMCS","DOI":"10.2168\/LMCS"},{"key":"190_CR23","unstructured":"Goubault, E.: G\u00e9om\u00e9trie du parall\u00e9lisme. PhD thesis, Ecole Polytechnique (1995)"},{"issue":"4","key":"190_CR24","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. Math. Struct. Comput. Sci. 10(4), 411\u2013425 (2000)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"4","key":"190_CR25","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/s00446-018-0328-4","volume":"31","author":"\u00c9 Goubault","year":"2018","unstructured":"Goubault, \u00c9., Mimram, S., Tasson, C.: Geometric and combinatorial views on asynchronous computability. Distrib. Comput. 31(4), 289\u2013316 (2018). https:\/\/doi.org\/10.1007\/s00446-018-0328-4","journal-title":"Distrib. Comput."},{"key":"190_CR26","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/s41468-019-00034-x","volume":"4","author":"E Goubault","year":"2020","unstructured":"Goubault, E., Farber, M., Sagnier, A.: Directed topological complexity. J Appl. Comput. Topol. 4, 11\u201327 (2020). https:\/\/doi.org\/10.1007\/s41468-019-00034-x","journal-title":"J Appl. Comput. Topol."},{"key":"190_CR27","doi-asserted-by":"crossref","unstructured":"Grandis, M.: Directed algebraic topology. In: Models of Non-reversible Worlds. Cambridge University Press, Cambridge (2009)","DOI":"10.1017\/CBO9780511657474"},{"key":"190_CR28","doi-asserted-by":"crossref","unstructured":"Grandis, M.: Homological algebra. In: Strongly Non-abelian Settings. World Scientific Publishing Company, Singapore (2013)","DOI":"10.1142\/8608"},{"key":"190_CR29","unstructured":"Haucourt, E.: Some invariants of directed topology towards a theoretical base for a static analyzer dealing with fine-grain concurrency. Habilitation \u00e0 diriger des recherches, Universit\u00e9 Paris 7\u2014Denis Diderot (September 2016). https:\/\/tel.archives-ouvertes.fr\/tel-01429492"},{"issue":"6","key":"190_CR30","doi-asserted-by":"publisher","first-page":"858","DOI":"10.1145\/331524.331529","volume":"46","author":"M Herlihy","year":"1999","unstructured":"Herlihy, M., Shavit, N.: The topological structure of asynchronous computability. J. ACM (JACM) 46(6), 858\u2013923 (1999)","journal-title":"J. ACM (JACM)"},{"key":"190_CR31","volume-title":"Distributed Computing Through Combinatorial Topology","author":"M Herlihy","year":"2013","unstructured":"Herlihy, M., Kozlov, D., Rajsbaum, S.: Distributed Computing Through Combinatorial Topology. Elsevier Science, Amsterdam (2013)"},{"issue":"1","key":"190_CR32","first-page":"1","volume":"5","author":"P Johnstone","year":"1999","unstructured":"Johnstone, P.: A note on discrete conduch\u00e9 fibrations. Theory Appl. Categ. 5(1), 1\u201311 (1999)","journal-title":"Theory Appl. Categ."},{"key":"190_CR33","unstructured":"Lawvere, F.W.: State categories and response functors (1986). https:\/\/github.com\/mattearnshaw\/lawvere\/blob\/master\/pdfs\/1986-state-categories-and-response-functors.pdf"},{"key":"190_CR34","unstructured":"Lesnick, M., Wright, M.: Interactive visualization of 2-d persistence modules (2015). arXiv:1512.00180"},{"key":"190_CR35","doi-asserted-by":"crossref","unstructured":"Lurie, J.: Higher Topos Theory (AM-170). Annals of Mathematics Studies. Princeton University Press, Princeton (2009)","DOI":"10.1515\/9781400830558"},{"issue":"3","key":"190_CR36","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. Algebr. Geom. Topol. 12(3), 1741\u20131762 (2012)","journal-title":"Algebr. Geom. Topol."},{"key":"190_CR37","doi-asserted-by":"crossref","unstructured":"Schultz, P., Spivak, D.I., Vasilakopoulou, C.: Dynamical systems and sheaves (2019). arXiv:1609.08086 [math.CT]","DOI":"10.1007\/s10485-019-09565-x"},{"key":"190_CR38","doi-asserted-by":"crossref","unstructured":"Schultz, P., Spivak, D.I.: Temporal Type Theory, vol. 29, p. 235 (2019). A topos-theoretic approach to systems and behavior","DOI":"10.1007\/978-3-030-00704-1"},{"key":"190_CR39","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)","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"issue":"2","key":"190_CR40","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s00454-004-1146-y","volume":"33","author":"A Zomorodian","year":"2005","unstructured":"Zomorodian, A., Carlsson, G.: Computing persistent homology. Discrete Comput. Geom. 33(2), 249\u2013274 (2005). https:\/\/doi.org\/10.1007\/s00454-004-1146-y","journal-title":"Discrete Comput. Geom."}],"container-title":["Journal of Applied and Computational Topology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41468-024-00190-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s41468-024-00190-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41468-024-00190-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,6]],"date-time":"2024-11-06T21:22:28Z","timestamp":1730928148000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s41468-024-00190-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,19]]},"references-count":40,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["190"],"URL":"https:\/\/doi.org\/10.1007\/s41468-024-00190-9","relation":{},"ISSN":["2367-1726","2367-1734"],"issn-type":[{"type":"print","value":"2367-1726"},{"type":"electronic","value":"2367-1734"}],"subject":[],"published":{"date-parts":[[2024,9,19]]},"assertion":[{"value":"1 June 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 July 2024","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 July 2024","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 September 2024","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 have no Conflict of interest to declare that are relevant to the content of this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical Approval"}}]}}