13 citations · 44 across the 5 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2000
About the globular homology of higher dimensional automata
Philippe Gaucher
We introduce a new simplicial nerve of higher dimensional automata whose homology groups yield a new definition of the globular homology. With this new definition, the drawbacks no…
math.CT1999
Combinatorics of branchings in higher dimensional automata
Philippe Gaucher
We explore the combinatorial properties of the branching areas of execution paths in higher dimensional automata. Mathematically, this means that we investigate the combinatorics o…