2 citations · 2 across the 3 of their papers we have counts for
7 papers
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…
lr-Multisemigroups and Modal Convolution Algebras
Uli Fahrenberg, Christian Johnsen, Georg Struth +1
We show how modal quantales arise as convolution algebras of functions from lr-multisemigroups that is, multisemigroups with a source map l and a target map r, into modal quantales…
Sculptures in Concurrency
Uli Fahrenberg, Christian Johansen, Christopher A. Trotter +1
We give a formalization of Pratt's intuitive sculpting process for higher-dimensional automata (HDA). Intuitively, an HDA is a sculpture if it can be embedded in (i.e., sculpted fr…
Stable components of directed spaces
Krzysztof Ziemiański
In this paper, we introduce the notions of stable future, past and total component systems on a directed space with no loops. Then, we associate the stable component category to a…
Directed path spaces via discrete vector fields
Krzysztof Ziemiański
Let be an arbitrary semi-cubical set that can be embedded in a standard cube. Using Discrete Morse Theory, we construct a CW-complex that is homotopy equivalent to the space $\…
Spaces of directed paths on pre-cubical sets
Krzysztof Ziemiański
The spaces of directed paths on the geometric realizations of pre-cubical sets, called also --sets, can be interpreted as the spaces of possible executions of Higher Dimen…