On symmetric higher-dimensional automata and bisimilarity

DOI10.1016/j.tcs.2022.07.004zbMath1505.18011arXiv2103.15223OpenAlexW3147304380MaRDI QIDQ2084943

Thomas Kahl

Publication date: 14 October 2022

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2103.15223

zbMATH Keywords

bisimulationhigher-dimensional automatasymmetric precubical set

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General theory of categories and functors (18A99) Categories and theories (18C99)

Cites Work

• Combinatorics of labelling in higher-dimensional automata
• Skew-simplicial groups
• Some geometric perspectives in concurrency theory
• 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
• Crossed Simplicial Groups and their Associated Homology
• Formal Relationships Between Geometrical and Classical Models for Concurrency
• Foundations of Software Science and Computational Structures
• Simplicial homotopy theory

This page was built for publication: On symmetric higher-dimensional automata and bisimilarity