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 : Thursday 21 November 2024

Contact pour cette page : Cyril.Banderier at lipn.univ-paris13.fr