Higher dimensional automata can model concurrent computations. The topological structure of the higher dimensional automata determines certain properties of the concurrent computation. We introduce bicomplexes as an algebraic tool for describing these automata and develop a simple homology theory for higher dimensional automata. We then show how the homology of automata has applications in the study of branching-time equivalences of processes such as bisimulation.
CITATION STYLE
Goubault, E., & Jensen, T. P. (1992). Homology of higher dimensional automata. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 630 LNCS, pp. 254–268). Springer Verlag. https://doi.org/10.1007/bfb0084796
Mendeley helps you to discover research relevant for your work.