52 citations · 146 across the 41 of their papers we have counts for
Showing 2010 · cs.LOShow all
2 papers · 2 filters
cs.LO2010★ 1 cited
On Probabilistic Parallel Programs with Process Creation and Synchronisation
Stefan Kiefer, Dominik Wojtczak
We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a mo…
cs.LO2010★ 3 cited
Runtime Analysis of Probabilistic Programs with Unbounded Recursion
Tomas Brazdil, Stefan Kiefer, Antonin Kucera +1
We study termination time and recurrence time in programs with unbounded recursion, which are either randomized or operate on some statistically quantified inputs. As the underlyin…