Modélisation explicite de l'adaptation sémantique entre modèles de calcul. - Ayman Doguy (2013)