Matthieu Perrin est maître de conférences à l’université de Nantes. Ses principaux sujets d’études concernent la modélisation des systèmes répartis. Cet ouvrage expose les principaux résultats portant sur la spécification des objets partagés dans les systèmes répartis.