Buchs, DidierRolim, José2005-09-202005-09-202005-09-201994https://infoscience.epfl.ch/handle/20.500.14299/216764ConformMethodology for Producing Parallel Probabilistic Algorithms from Specifications: Collection of Articlestext::report