History-preserving bisimilarity for higher-dimensional automata via open maps

Uli Fahrenberg

Research output: Contribution to journal › Journal article › Research › peer-review

Original language	English
Journal	Electronic Notes in Theoretical Computer Science
Volume	298
Pages (from-to)	165-178
Number of pages	19
ISSN	1571-0661
DOIs	https://doi.org/10.1016/j.entcs.2013.09.012
Publication status	Published - 2013
Externally published	Yes

Access to Document

@article{2f6e5cc55c9d4491954ab28ad7a8799c,

title = "History-preserving bisimilarity for higher-dimensional automata via open maps",

author = "Uli Fahrenberg",

year = "2013",

doi = "10.1016/j.entcs.2013.09.012",

language = "English",

volume = "298",

pages = "165--178",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

}

TY - JOUR

T1 - History-preserving bisimilarity for higher-dimensional automata via open maps

AU - Fahrenberg, Uli

PY - 2013

Y1 - 2013

U2 - 10.1016/j.entcs.2013.09.012

DO - 10.1016/j.entcs.2013.09.012

M3 - Journal article

SN - 1571-0661

VL - 298

SP - 165

EP - 178

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -