Labeled homology of higher-dimensional automata
classification
🧮 math.AT
cs.FL
keywords
homologyautomatacubicalhigher-dimensionallabeledapplicationscompatibleconcurrency
read the original abstract
We construct labeling homomorphisms on the cubical homology of higher-dimensional automata and show that they are natural with respect to cubical dimaps and compatible with the tensor product of HDAs. We also indicate two possible applications of labeled homology in concurrency theory.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.