Journée-séminaire de combinatoire

(équipe CALIN du LIPN, université Paris-Nord, Villetaneuse)

Le 18 juillet 2017 à 15h00 en B107, Medhi Naima nous parlera de : Arbres de synchronisation et théorie de la concurrence

Résumé : Nous nous intéressons aux structures mathématiques sous-jacentes des programmes concurrents et parallèles. L'idée est de modéliser des programmes concurrents à l'aide d'abres étiquettés croissants. Nous pouvons ensuite réaliser une étude combinatoire sur ces structures, en déduire certaines propriétés et faire une génération aléatoire uniforme de programmes concurrents qui peut servir dans le cadre du model-checking.


Dernière modification : dimanche 16 juillet 2017 Valid HTML 4.01! Valid CSS! Contact : Cyril.Banderier at lipn.univ-paris13.fr