LINC: Prenez soin de la cohérence de votre système

LINC est un environnement logiciel permettant de développer des applications distribuées comprenant des éléments matériels et logiciels. Ces applications, par construction, assurent la cohérence du système même en cas de pannes.

La présentation introduira les paradigmes de LINC et les propriétés qui en découlent.