PROBMELA: a modeling language for communicating probabilistic processes.

Christel Baier, Frank Ciesinski, Marcus Grer

Browse the full MEMOCODE paper archive.