Département Informatique

L’objectif du cours était de cerner et comprendre les propriétés d’ordre dans les systèmes et applications distribués. Nous avons vu différentes façons de construire un ordre total ou partiel. L’ordre causal a été abordé. Nous avons vu les horloges de Lamport, et les horloges vectorielles.

Le support de cours correspondant est celui du professeur Claude Kaiser. Il y est joint un rapport de recherche du professeur M. Raynal de l’IRISA à Rennes.