The homology language of a higher-dimensional automaton
Description:  Higher-dimensional automata, i.e., labeled precubical sets, are a very expressive combinatorial-topological model for concurrent systems. In this seminar, I will talk about the homology language of a higher-dimensional 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:  2022-11-30
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>  
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support