34 citations · 77 across the 12 of their papers we have counts for
4 papers · 1 filter
Kleene Theorem for Higher-Dimensional Automata
Uli Fahrenberg, Christian Johansen, Georg Struth +1
We prove a Kleene theorem for higher-dimensional automata. It states that the languages they recognise are precisely the rational subsumption-closed sets of finite interval pomsets…
Posets with Interfaces as a Model for Concurrency
Uli Fahrenberg, Christian Johansen, Georg Struth +1
We introduce posets with interfaces (iposets) and generalise their standard serial composition to a new gluing composition. In the partial order semantics of concurrency, interface…
Languages of Higher-Dimensional Automata
Uli Fahrenberg, Christian Johansen, Georg Struth +1
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 isom…
Generating Posets Beyond N
Uli Fahrenberg, Christian Johansen, Georg Struth +1
We introduce iposets---posets with interfaces---equipped with a novel gluing composition along interfaces and the standard parallel composition. We study their basic algebraic prop…