activity
20152021
most citedlr-Multisemigroups and Modal Convolution Algebras

2 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing 2018Show all

2 papers · 1 filter

cs.LO2018

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…

math.AT2018

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…