On Probabilistic Parallel Programs with Process Creation and Synchronisation.

Stefan Kiefer, Dominik Wojtczak

Browse the full TACAS paper archive.