scientific article; zbMATH DE number 7104936

zbMath1426.68184arXiv1801.08451MaRDI QIDQ5232910

Thomas Kahl

Publication date: 13 September 2019

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

tensor productinterleavingtransition systemhigher-dimensional automatashared-variable system

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Weak equivalence of higher-dimensional automata ⋮ Labeled homology of higher-dimensional automata

Cites Work

• Topological abstraction of higher-dimensional automata
• Combinatorics of labelling in higher-dimensional automata
• Labeled homology of higher-dimensional automata
• Towards a homotopy theory of process algebra
• Weak morphisms of higher dimensional automata
• On the expressiveness of higher dimensional automata
• Concurrent Machines
• Formal Relationships Between Geometrical and Classical Models for Concurrency
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: