2 citations · 2 across the 5 of their papers we have counts for
4 papers · 1 filter
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…
On execution spaces of PV-programs
Krzysztof Ziemianski
Semaphores were introduced by Dijkstra as a tool for modeling concurrency in computer programs. In this paper we provide a formal definition of PV-programs, i.e. programs using sem…