Le modèle des protocoles de population est bien établi dans le monde du calcul distribué. Il permet à des agents mobiles anonymes, comme les éléments d'un réseau chimique, de calculer des prédicats relatifs à leur configuration initiale. En particulier, le modèle, tel qu'il a été introduit en 2004 par Angluin et al., a été directement lié à l'arithmétique de Presburger. Il a ensuite été largement étudié et de nombreuses variantes ont été définies.

Dans cet exposé, on introduira les notions de base des protocoles et on décrira une nouvelle variante munie d'un domaine infini de données pour ses agents. On y présentera des exemples de protocoles ainsi que quelques grandes questions liées au modèle.