
Description: 
Higherdimensional automata, i.e., labeled precubical sets, are a very expressive combinatorialtopological model for concurrent systems. In this seminar, I will talk about the homology language of a higherdimensional automaton, which is defined as the image of a labeling homomorphism from the homology of the HDA to the exterior algebra on its alphabet. The homology language is a directed homotopy invariant of HDAs and behaves well with respect to both the tensor product and the coproduct of HDAs. The homology language is effectively computable and may be applied to reason about independence of processes in concurrent systems.

Date: 
20221130

Start Time: 
14:30 
Speaker: 
Thomas Kahl (CMUM, Univ. Minho)

Institution: 
CMUM, University of Minho

Place: 
Room 5.5

Research Groups: 
Geometry

See more:

<Main>

