The Anh Pham 0001. Efficient state-space exploration for asynchronous distributed programs: Adapting unfolding-based dynamic partial order reduction to MPI programs. (Exploration efficace de l'espace d'état pour les programmes distribués asynchrones: Adaptation de l'UDPOR aux programes MPI). PhD thesis, École normale supérieure de Rennes, France, 2019. [doi]
@phdthesis{hal-12886,
title = {Efficient state-space exploration for asynchronous distributed programs: Adapting unfolding-based dynamic partial order reduction to MPI programs. (Exploration efficace de l'espace d'état pour les programmes distribués asynchrones: Adaptation de l'UDPOR aux programes MPI)},
author = {The Anh Pham 0001},
year = {2019},
url = {https://tel.archives-ouvertes.fr/tel-02420950},
researchr = {https://researchr.org/publication/hal-12886},
cites = {0},
citedby = {0},
school = {École normale supérieure de Rennes, France},
}