On the homology language of HDA models of transition systems

DOI10.1007/S41468-023-00120-1WikidataQ121097164 ScholiaQ121097164MaRDI QIDQ6645910

Thomas Kahl

Publication date: 29 November 2024

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

zbMATH Keywords

transition systemhigher-dimensional automatahomology language

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Other homology theories in algebraic topology (55N35)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Combinatorics of labelling in higher-dimensional automata
• Skew-simplicial groups
• On the algebra of cubes
• On symmetric higher-dimensional automata and bisimilarity
• Labeled homology of higher-dimensional automata
• On the expressiveness of higher dimensional automata
• Crossed Simplicial Groups and their Associated Homology
• Weak equivalence of higher-dimensional automata
• Formal Relationships Between Geometrical and Classical Models for Concurrency

This page was built for publication: On the homology language of HDA models of transition systems

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