Higher-dimensional automata modeling shared-variable systems

MaRDI QIDQ5232910zbMATH OpenFDO

Authors Thomas Kahl

Publication date 13 September 2019

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

zbMATH Keywords

higher-dimensional automatainterleavingshared-variable systemtensor producttransition 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)

Recommendations

• Simplicial models for trace spaces. II: General higher dimensional automata
• On the specification of higher dimensional automata
• Foundations of Software Science and Computational Structures
• Partial higher-dimensional automata
• Topological abstraction of higher-dimensional automata

Cites work

• Category theory in context
• Combinatorics of labelling in higher-dimensional automata
• Concurrent Machines
• Formal relationships between geometrical and classical models for concurrency
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Labeled homology of higher-dimensional automata
• On the expressiveness of higher dimensional automata
• Topological abstraction of higher-dimensional automata
• Towards a homotopy theory of process algebra
• Weak morphisms of higher dimensional automata

Cited in

(4)

• Labeled homology of higher-dimensional automata
• Weak equivalence of higher-dimensional automata
• On the homology language of HDA models of transition systems
• On the topology of concurrent systems

This page was built for publication: Higher-dimensional automata modeling shared-variable systems

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