Unifying Equivalences for Higher Dimensional Automata

DOI10.3233/FI-2012-742zbMath1283.68250OpenAlexW1662292621MaRDI QIDQ3168195

I. B. Virbitskaite, Elena S. Oshevskaya, 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

coalgebrasconcurrency theorybisimilarityopen mapsHigher dimensional automata

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) Categories of machines, automata (18B20)

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