Labeled homology of higher-dimensional automata

DOI10.1007/s41468-019-00023-0zbMath1423.55006arXiv1703.07826OpenAlexW2605068139MaRDI QIDQ2324599

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

zbMATH Keywords

higher-dimensional automatacubical homologycubical dimaplabeled homology

Mathematics Subject Classification ID

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) Chain complexes in algebraic topology (55U15) Other homology theories in algebraic topology (55N35)

Related Items (2)

Weak equivalence of higher-dimensional automata ⋮ Unnamed Item

Cites Work

• Topological abstraction of higher-dimensional automata
• Myths about the mutual exclusion problem
• Directed homology theories and Eilenberg-Steenrod axioms
• The homology graph of a precubical set
• Weak morphisms of higher dimensional automata
• On the expressiveness of higher dimensional automata
• Algebraic topology and concurrency
• Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
• Homological properties of non-deterministic branchings of mergings in higher dimensional automata
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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