Modélisation algébrique du dîner des philosophes
Résumé
Dans cet article, nous présentons une étude expérimentale de modélisation de systèmes distribués à l'aide des outils de la théorie des monoïdes inversifs. Pour ce faire, nous nous plaçons dans les monoïdes (inversifs) des bi-arbres étiquetés. Ces monoïdes dérivent de la présentation des monoïdes inversifs libres de Scheiblich et Munn. Ils peuvent aussi être vus comme un cas particulier des monoïdes de tuilage de Kellendonk et Lawson. Ces outils sont alors mis en oeuvre pour modéliser le problème du dîner des philosophes de Dijkstra.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...