Abstract FR:

Le probleme general de la synchronisation en informatique se pose, dans des termes similaires, tant en programmation logique (synchronisation des inferences logiques) qu'en programmation par objets (synchronisation des transitions d'etat des objets). Partant de ce constat, on propose un systeme de programmation, fonde sur la notion de preuve, qui realise la synthese des deux paradigmes. Le systeme de preuve adopte est celui de la logique lineaire qui, contrairement a son analogue classique, prend explicitement en compte la notion de ressources (temporelles et spatiales) et est donc mieux adapte a une utilisation en informatique