Rolim, JoséUrland, ErikBuffo, MathieuBuchs, Didier2005-09-202005-09-202005-09-201994https://infoscience.epfl.ch/handle/20.500.14299/216773The general aim of the project is to give a framework to a designer of parallel algorithms for defining abstractly a problem, finding a first parallel solution which may not be the most efficient one, and refining the solution by exploitingmassive parallelism and probabilistic features.ConformTSPP methodology for producing parallel probabilistic algorithms from specificationstext::conference output::conference proceedings::conference paper