We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Formal Languages and Automata Theory

Title: On symmetric higher-dimensional automata and bisimilarity

Authors: Thomas Kahl
Abstract: It is shown that a higher-dimensional automaton is hhp-bisimilar to the free symmetric HDA generated by it. Consequently, up to hereditary history-preserving bisimilarity, ordinary HDAs and symmetric HDAs are models of concurrency with the same expressive power.
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
Cite as: arXiv:2103.15223 [cs.FL]
  (or arXiv:2103.15223v1 [cs.FL] for this version)

Submission history

From: Thomas Kahl [view email]
[v1] Sun, 28 Mar 2021 21:20:07 GMT (13kb)

Link back to: arXiv, form interface, contact.