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.
Similar content being viewed by others
References
Bourbaki, N.: Algebra I. Addison-Wesley, Reading (1974)
Dijkstra, E.: Hierarchical ordering of sequential processes. Acta Inform. 1(2), 115–138 (1971)
Dubut, J., Goubault, E., Goubault-Larrecq, J.: Directed homology theories and Eilenberg-Steenrod axioms. Appl. Categ. Struct. 25(5), 775–807 (2017)
Fahrenberg, U.: Directed homology. Electron. Notes Theor. Comput. Sci. 100, 111–125 (2004)
Fajstrup, L., Raußen, M., Goubault, E.: Algebraic topology and concurrency. Theor. Comput. Sci. 357, 241–278 (2006)
Fajstrup, L., Goubault, E., Haucourt, E., Mimram, S., Raussen, M.: Directed Algebraic Topology and Concurrency. Springer, Berlin (2016)
Gaucher, P.: Homological properties of non-deterministic branchings and mergings in higher dimensional automata. Homol. Homotopy Appl. 7(1), 51–76 (2005)
Glabbeek, R.V.: On the expressiveness of higher dimensional automata. Theor. Comput. Sci. 356(3), 265–290 (2006)
Goubault, E., Jensen, T.: Homology of higher-dimensional automata. In: Proceedings of CONCUR ’92, Springer, Lecture Notes in Computer Science, vol. 630, pp. 254–268 (1992)
Grandis, M.: Directed Algebraic Topology: Models of Non-reversible Worlds, New Mathematical Monographs, vol. 13. Cambridge University Press, Cambridge (2009)
Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2001)
Hilton, P., Wylie, S.: Homology Theory: An Introduction to Algebraic Topology. Cambridge University Press, Cambridge (1967)
Kahl, T.: The homology graph of a precubical set. Homol. Homotopy Appl. 16(1), 119–138 (2014a)
Kahl, T.: Weak morphisms of higher dimensional automata. Theor. Comput. Sci. 536, 42–61 (2014b)
Kahl, T.: Topological abstraction of higher-dimensional automata. Theor. Comput. Sci. 631, 97–117 (2016)
Kahl, T.: Higher-dimensional automata modeling shared-variable systems, pp. 1–21 (2018a). arXiv:1801.08451 [csLO]
Kahl, T.: pg2hda [Computer software]. (2018b). http://w3.math.uminho.pt/~kahl/. Accessed 2 Oct 2018
Krishnan, S.: Flow-cut dualities for sheaves on graphs, pp. 1–29 (2014). arXiv:1409.6712 [mathAT]
Massey, W.: Singular Homology Theory, Graduate Texts in Mathematics, vol. 70. Springer, Berlin (1980)
Peterson, G.: Myths about the mutual exclusion problem. Inf. Process. Lett. 12(3), 115–116 (1981)
Pilarczyk, P.: CHomP [Computer software]. (2002–2018). http://chomp.rutgers.edu/Projects/Computational_Homology/OriginalCHomP/software/. Accessed 12 Feb 2018
Pratt, V.: Modeling concurrency with geometry. In: POPL ’91, Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM New York, NY, USA, pp. 311–322 (1991)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This research was financed by Portuguese funds through FCT - Fundação para a Ciência e a Tecnologia (project UID/MAT/00013/2013).
Rights and permissions
About this article
Cite this article
Kahl, T. Labeled homology of higher-dimensional automata. J Appl. and Comput. Topology 2, 271–300 (2018). https://doi.org/10.1007/s41468-019-00023-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s41468-019-00023-0