@inproceedings{fb7177eb92614443a41649ff02360196,
title = "Homology of higher dimensional automata",
abstract = "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.",
author = "Eric Goubault and Jensen, \{Thomas P.\}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1992.; 3rd International Conference on Concurrency Theory, CONCUR 1992 ; Conference date: 24-08-1992 Through 27-08-1992",
year = "1992",
month = jan,
day = "1",
doi = "10.1007/bfb0084796",
language = "English",
isbn = "9783540558224",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "254--268",
editor = "Cleaveland, \{W. Rance\}",
booktitle = "CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings",
}