{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T11:20:48Z","timestamp":1778498448414,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540253884","type":"print"},{"value":"9783540319825","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31982-5_12","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T07:29:02Z","timestamp":1294990142000},"page":"187-201","source":"Crossref","is-referenced-by-count":12,"title":["A Category of Higher-Dimensional Automata"],"prefix":"10.1007","author":[{"given":"Ulrich","family":"Fahrenberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-6848-0","volume-title":"Topology and Geometry","author":"G.E. Bredon","year":"1993","unstructured":"Bredon, G.E.: Topology and Geometry. Springer, Heidelberg (1993)"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/0022-4049(81)90018-9","volume":"21","author":"R. Brown","year":"1981","unstructured":"Brown, R., Higgins, P.J.: On the algebra of cubes. Journal of Pure and Applied Algebra\u00a021, 233\u2013260 (1981)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0022-4049(87)90099-5","volume":"47","author":"R. Brown","year":"1987","unstructured":"Brown, R., Higgins, P.J.: Tensor products and homotopies for \u03c9-groupoids and crossed complexes. Journal of Pure and Applied Algebra\u00a047, 1\u201333 (1987)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"12_CR4","first-page":"55","volume-title":"Proc. LICS 1996","author":"G.L. Cattani","year":"1996","unstructured":"Cattani, G.L., Sassone, V.: Higher dimensional transition systems. In: Proc. LICS 1996, pp. 55\u201362. IEEE Press, Los Alamitos (1996)"},{"key":"12_CR5","unstructured":"Crans, S.: On Combinatorial Models for Higher Dimensional Homotopies. PhD thesis, Utrecht University (1995)"},{"key":"12_CR6","unstructured":"Fahrenberg, U.: A category of higher-dimensional automata. Technical Report R-2005-01, Department of Mathematical Sciences, Aalborg University (2005), http:\/\/www.math.aau.dk\/research\/reports\/R-2005-01.ps"},{"issue":"2","key":"12_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4310\/HHA.2003.v5.n2.a1","volume":"5","author":"L. Fajstrup","year":"2003","unstructured":"Fajstrup, L.: Dicovering spaces. Homology, Homotopy and Applications\u00a05(2), 1\u201317 (2003)","journal-title":"Homology, Homotopy and Applications"},{"key":"12_CR8","unstructured":"Fajstrup, L.: Dipaths and dihomotopies in a cubical complex. Report R-2003-22, Department of Mathematical Sciences, Aalborg University (2003), http:\/\/www.math.aau.dk\/research\/reports\/R-2003-22.ps , Submitted to Advances in Applied Mathematics"},{"key":"12_CR9","unstructured":"Fajstrup, L., Goubault, E., Raussen, M.: Algebraic topology and concurrency. Report R-99-2008, Department of Mathematical Sciences, Aalborg University (1999), http:\/\/www.math.aau.dk\/research\/reports\/R-99-2008.ps , Conditionally accepted for publication in Theoretical Computer Science"},{"key":"12_CR10","unstructured":"van Glabbeek, R.J.: Bisimulations for higher dimensional automata. Email message (1991), http:\/\/theory.stanford.edu\/~rvg\/hda"},{"key":"12_CR11","unstructured":"van Glabbeek, R.J.: On the expressiveness of higher dimensional automata. Preprint (2004), http:\/\/www.cse.unsw.edu.au\/~rvg\/hda.pdf"},{"key":"12_CR12","unstructured":"Goubault, E.: The Geometry of Concurrency. PhD thesis, Ecole Normale Sup\u00e9rieure, Paris (1995), http:\/\/www.di.ens.fr\/~goubault\/papers\/these.ps.gz"},{"key":"12_CR13","unstructured":"Goubault, E.: Labelled cubical sets and asynchronous transition systems: an adjunction. In: Preliminary Proceedings CMCIM 2002 (2002), http:\/\/www.di.ens.fr\/~goubault\/papers\/cmcim02.ps.gz"},{"key":"12_CR14","unstructured":"Grandis, M.: Directed homotopy theory I. Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques\u00a044, 281\u2013316 (2003), Preprint available as http:\/\/arxiv.org\/abs\/math.AT\/0111048"},{"key":"12_CR15","first-page":"369","volume":"14","author":"M. Grandis","year":"2002","unstructured":"Grandis, M.: Directed homotopy theory II. Theory and Applications of Categories\u00a014, 369\u2013391 (2002)","journal-title":"Theory and Applications of Categories"},{"key":"12_CR16","unstructured":"Grandis, M.: Directed combinatorial homology and noncommutative tori. In: Math. Proc. Cambridge Philos. Soc. (2004) (to appear), Preprint available as http:\/\/www.dima.unige.it\/~grandis\/Bsy.pdf"},{"issue":"8","key":"12_CR17","first-page":"185","volume":"11","author":"M. Grandis","year":"2003","unstructured":"Grandis, M., Mauri, L.: Cubical sets and their site. Theory and Applications of Categories\u00a011(8), 185\u2013211 (2003)","journal-title":"Theory and Applications of Categories"},{"key":"12_CR18","unstructured":"Jardine, J.F.: Cubical homotopy theory: a beginning (preprint) (2002)"},{"issue":"2","key":"12_CR19","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\u00a0127(2), 164\u2013185 (1996)","journal-title":"Information and Computation"},{"key":"12_CR20","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4939-9063-4","volume-title":"A Basic Course in Algebraic Topology","author":"W.S. Massey","year":"1991","unstructured":"Massey, W.S.: A Basic Course in Algebraic Topology. Graduate Texts in Mathematics, vol.\u00a0127. Springer, Heidelberg (1991)"},{"key":"12_CR21","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Serre, J.-P.: Homologie singuli\u00e8re des espaces fibr\u00e9s. PhD thesis, Ecole Normale Sup\u00e9rieure (1951)","DOI":"10.2307\/1969485"},{"key":"12_CR23","first-page":"1","volume-title":"Handbook of Logic in Computer Science","author":"G. Winskel","year":"1995","unstructured":"Winskel, G., Nielsen, M.: Models for concurrency. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol.\u00a04, pp. 1\u2013148. Clarendon Press, Oxford (1995)"},{"key":"12_CR24","unstructured":"Worytkiewicz, K.: Synchronization from a categorical perspective. (preprint) (2004), http:\/\/arxiv.org\/abs\/cs.PL\/0411001"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31982-5_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:32:51Z","timestamp":1605760371000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31982-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253884","9783540319825"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31982-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}