dc.contributor.author | Fahrenberg, Uli | |
dc.contributor.author | Johansen, Christian | |
dc.contributor.author | Struth, Georg | |
dc.contributor.author | Ziemiański, Krzysztof | |
dc.date.accessioned | 2022-03-16T09:56:40Z | |
dc.date.available | 2022-03-16T09:56:40Z | |
dc.date.created | 2022-02-03T10:35:08Z | |
dc.date.issued | 2021 | |
dc.identifier.citation | Mathematical Structures in Computer Science. 2021, 31 (5), 575-613. | en_US |
dc.identifier.issn | 0960-1295 | |
dc.identifier.uri | https://hdl.handle.net/11250/2985444 | |
dc.description.abstract | We introduce languages of higher-dimensional automata (HDAs) and develop some of their properties. To this end, we define a new category of precubical sets, uniquely naturally isomorphic to the standard one, and introduce a notion of event consistency. HDAs are then finite, labeled, event-consistent precubical sets with distinguished subsets of initial and accepting cells. Their languages are sets of interval orders closed under subsumption; as a major technical step, we expose a bijection between interval orders and a subclass of HDAs. We show that any finite subsumption-closed set of interval orders is the language of an HDA, that languages of HDAs are closed under binary unions and parallel composition, and that bisimilarity implies language equivalence. | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Cambridge University Press | en_US |
dc.title | Languages of higher-dimensional automata | en_US |
dc.type | Journal article | en_US |
dc.type | Peer reviewed | en_US |
dc.description.version | acceptedVersion | en_US |
dc.rights.holder | This article will not be available until May 2022 due to publisher embargo | en_US |
dc.source.pagenumber | 575-613 | en_US |
dc.source.volume | 31 | en_US |
dc.source.journal | Mathematical Structures in Computer Science | en_US |
dc.source.issue | 5 | en_US |
dc.identifier.doi | 10.1017/S0960129521000293 | |
dc.identifier.cristin | 1997291 | |
cristin.ispublished | true | |
cristin.fulltext | postprint | |
cristin.qualitycode | 1 | |