Synthesizing distributed scheduling implementation for probabilistic component-based systems.

Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled

Browse the full MEMOCODE paper archive.