Labeled homology of higher-dimensional automata

DOI10.1007/S41468-019-00023-0MaRDI QIDQ2324599zbMATH OpenOpenAlexFDO

Authors Thomas Kahl

Publication date 11 September 2019

Published in Journal of Applied and Computational Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1703.07826, http://hdl.handle.net/1822/59753

zbMATH Keywords

cubical dimapcubical homologyhigher-dimensional automatalabeled homology

Mathematics Subject Classification ID

Other homology theories in algebraic topology (55N35) Chain complexes in algebraic topology (55U15) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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.

Recommendations

• Topological abstraction of higher-dimensional automata
• Combinatorics of branchings in higher dimensional automata
• Languages of higher-dimensional automata
• Homological properties of non-deterministic branchings of mergings in higher dimensional automata
• Foundations of Software Science and Computational Structures

Cites work

• Algebraic topology and concurrency
• Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
• Directed algebraic topology. Models of non-reversible worlds
• Directed homology
• Directed homology theories and Eilenberg-Steenrod axioms
• Higher-dimensional automata modeling shared-variable systems
• Homological properties of non-deterministic branchings of mergings in higher dimensional automata
• scientific article; zbMATH DE number 3690275 (Why is no real title available?)
• scientific article; zbMATH DE number 3440338 (Why is no real title available?)
• scientific article; zbMATH DE number 2103273 (Why is no real title available?)
• scientific article; zbMATH DE number 3261318 (Why is no real title available?)
• Myths about the mutual exclusion problem
• On the expressiveness of higher dimensional automata
• The homology graph of a precubical set
• Topological abstraction of higher-dimensional automata
• Weak morphisms of higher dimensional automata

Cited in

(13)

• Weak morphisms of higher dimensional automata
• Combinatorics of branchings in higher dimensional automata
• Topological abstraction of higher-dimensional automata
• scientific article; zbMATH DE number 1372681 (Why is no real title available?)
• Weak equivalence of higher-dimensional automata
• Higher-dimensional automata modeling shared-variable systems
• On the homology language of HDA models of transition systems
• Single-set cubical categories and their formalisation with a proof assistant
• Irrationality of process replication for higher-dimensional automata
• On the topology of concurrent systems
• Execution spaces for simple higher dimensional automata
• T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type
• Combinatorics of labelling in higher-dimensional automata

This page was built for publication: Labeled homology of higher-dimensional automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2324599)