Best paper de CONCUR 2015 attribué à César Rodiguez

César Rodiguez a reçu le best paper à CONCUR 2015 pour son article Unfolding-based Order reduction, avec Marcelo Sousa, Suboth Sharma et Daniel Kroening. Résumé : Partial order reduction (POR) and net unfoldings are two alternative methods to tackle state-space explosion caused by concurrency. In this paper, we Read more