{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:11:22Z","timestamp":1761610282698,"version":"build-2065373602"},"reference-count":27,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4958,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2000]]},"DOI":"10.1016\/s1571-0661(05)01149-7","type":"journal-article","created":{"date-parts":[[2005,4,8]],"date-time":"2005-04-08T09:19:45Z","timestamp":1112951985000},"page":"1-19","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":7,"title":["From Concurrency to Algebraic Topology"],"prefix":"10.1016","volume":"39","author":[{"given":"Philippe","family":"Gaucher","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)01149-7_bib1","unstructured":"Aitchison, I. R., The geometry of oriented cubes (1986), Macquarie Mathematics Reports 86\u20130082."},{"key":"10.1016\/S1571-0661(05)01149-7_bib2","unstructured":"Al-Agl, F. A. A., \u201cAspects of multiple categories,\u201d Ph.D. thesis, University of Wales, Department of Pure Mathematics, University College of North Wales, Bangor, Gwynedd LL57 1UT, U.K. (1989)."},{"key":"10.1016\/S1571-0661(05)01149-7_bib3","unstructured":"Al-Agl, F. A. A., R. Brown and R. Steiner, Multiple categories: the equivalence of a globular and a cubical approach (2000), arxiv:math.CT\/0007009."},{"key":"10.1016\/S1571-0661(05)01149-7_bib4","series-title":"\u201cCombinatorial foundation of homology and homotopy,\u201d","first-page":"xvi+362","author":"Baues","year":"1999"},{"key":"10.1016\/S1571-0661(05)01149-7_bib5","first-page":"371","article-title":"The equivalence of \u221e-groupoids and crossed complexes","volume":"22","author":"Brown","year":"1981","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle"},{"key":"10.1016\/S1571-0661(05)01149-7_bib6","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1016\/0022-4049(81)90018-9","article-title":"On the algebra of cubes","volume":"21","author":"Brown","year":"1981","journal-title":"J. Pure Appl. Algebra"},{"year":"1995","series-title":"Pasting schemes for the monoidal biclosed structure on wcat","author":"Crans","key":"10.1016\/S1571-0661(05)01149-7_bib7"},{"key":"10.1016\/S1571-0661(05)01149-7_bib8","first-page":"v+135","article-title":"Simplicial methods and the interpretation of \u201ctriple\u201d cohomology","volume":"3","author":"Duskin","year":"1975","journal-title":"Mem. Amer. Math. Soc"},{"key":"10.1016\/S1571-0661(05)01149-7_bib9","series-title":"CONCUR'98: concurrency theory (Nice)","first-page":"332","article-title":"Detecting deadlocks in concurrent systems","author":"Fajstrup","year":"1998"},{"key":"10.1016\/S1571-0661(05)01149-7_bib10","unstructured":"Fajstrup, L., E. Goubault and M. Rau\u00dfen, Algebraic topology and concurrency (June 1999), preprint R-99\u20132008, Aalborg University."},{"key":"10.1016\/S1571-0661(05)01149-7_bib11","unstructured":"Gaucher, P., Combinatorics of branchings in higher dimensional automata (1999), arxiv:math.CT\/9912059."},{"key":"10.1016\/S1571-0661(05)01149-7_bib12","unstructured":"Gaucher, P., About the globular homology of higher dimensional automata (2000), arxiv:math.CT\/0002216."},{"key":"10.1016\/S1571-0661(05)01149-7_bib13","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1017\/S0960129500003182","article-title":"Homotopy invariants of higher dimensional categories and concurrency in computer science","volume":"10","author":"Gaucher","year":"2000","journal-title":"Math. Structures Comput. Sci"},{"key":"10.1016\/S1571-0661(05)01149-7_bib14","unstructured":"Goubault, E., \u201cThe Geometry of Concurrency,\u201d Ph.D. thesis, \u00c9cole Normale Sup\u00e9rieure (1995)."},{"key":"10.1016\/S1571-0661(05)01149-7_bib15","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/0022-4049(89)90136-9","article-title":"The combinatorics of n-categorical pasting","volume":"62","author":"Johnson","year":"1989","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S1571-0661(05)01149-7_bib16","series-title":"\u201cAbstract homotopy and simple homotopy theory,\u201d","first-page":"x+462","author":"Kamps","year":"1997"},{"key":"10.1016\/S1571-0661(05)01149-7_bib17","first-page":"11","article-title":"Combinatorial-geometric aspects of polycategory theory: pasting schemes and higher Bruhat orders (list of results)","volume":"32","author":"Kapranov","year":"1991","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9goriques"},{"key":"10.1016\/S1571-0661(05)01149-7_bib18","first-page":"29","article-title":"\u221e-groupoids and homotopy types","volume":"32","author":"Kapranov","year":"1991","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9goriques"},{"key":"10.1016\/S1571-0661(05)01149-7_bib19","first-page":"ix+262","volume":"Vol. 5","author":"MacLane","year":"1971"},{"key":"10.1016\/S1571-0661(05)01149-7_bib20","series-title":"\u201cSimplicial objects in algebraic topology,\u201d","first-page":"vi+161","author":"May","year":"1967"},{"key":"10.1016\/S1571-0661(05)01149-7_bib21","doi-asserted-by":"crossref","unstructured":"Pratt, V., Modeling concurrency with geometry, in: A. Press, editor, Proc. of the 18th ACM Symposium on Principles of Programming Languages, 1991.","DOI":"10.1145\/99583.99625"},{"key":"10.1016\/S1571-0661(05)01149-7_bib22","doi-asserted-by":"crossref","unstructured":"Quillen, D., Higher algebraic K-theory. I (1973), pp. 85\u2013147. Lecture Notes in Math., Vol. 341.","DOI":"10.1007\/BFb0067053"},{"key":"10.1016\/S1571-0661(05)01149-7_bib23","series-title":"\u201cAn introduction to algebraic topology,\u201d","first-page":"xiv+433","author":"Rotman","year":"1988"},{"year":"1991","series-title":"Tensor products of infinity-categories","author":"Steiner","key":"10.1016\/S1571-0661(05)01149-7_bib24"},{"issue":"1","key":"10.1016\/S1571-0661(05)01149-7_bib25","first-page":"1","article-title":"Pasting in multiple categories","volume":"4","author":"Steiner","year":"1998","journal-title":"Theory Appl. Categ"},{"key":"10.1016\/S1571-0661(05)01149-7_bib26","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/0022-4049(87)90137-X","article-title":"The algebra of oriented simplexes","volume":"49","author":"Street","year":"1987","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S1571-0661(05)01149-7_bib27","series-title":"\u201cAn introduction to homological algebra,\u201d","first-page":"xiv+450","author":"Weibel","year":"1994"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105011497?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105011497?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:06:22Z","timestamp":1761609982000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105011497"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2000]]}},"alternative-id":["S1571066105011497"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)01149-7","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"From Concurrency to Algebraic Topology","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(05)01149-7","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2000 Elsevier Science B.V. Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}