Unifying Equivalences for Higher Dimensional Automata

DOI10.3233/FI-2012-742MaRDI QIDQ3168195zbMATH OpenOpenAlexFDO

Authors E. S. Oshevskaya, I. B. Virbitskaite, Eike Best

Publication date 29 October 2012

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2012-742

zbMATH Keywords

bisimilaritycoalgebrasconcurrency theoryHigher dimensional automataopen maps

Mathematics Subject Classification ID

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

Recommendations

• Weak equivalence of higher-dimensional automata
• On the expressiveness of higher dimensional automata
• scientific article; zbMATH DE number 3992935
• On the specification of higher dimensional automata
• On the expressiveness of higher dimensional automata (extended abstract)
• Higher dimensional automata revisited
• scientific article; zbMATH DE number 4100618
• The equivalence problem of multidimensional multitape automata
• On generale purpose unifying automata
• scientific article; zbMATH DE number 2143010

Cited in

(10)

• Towards a unified view of bisimulation: A comparative study
• On symmetric higher-dimensional automata and bisimilarity
• Weak morphisms of higher dimensional automata
• Higher dimensional automata revisited
• scientific article; zbMATH DE number 2143010 (Why is no real title available?)
• scientific article; zbMATH DE number 3992935 (Why is no real title available?)
• Uniformity for the decidability of hybrid automata
• Weak equivalence of higher-dimensional automata
• scientific article; zbMATH DE number 6741931 (Why is no real title available?)
• scientific article; zbMATH DE number 6257763 (Why is no real title available?)

This page was built for publication: Unifying Equivalences for Higher Dimensional Automata

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