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.
Type de document :
Communication dans un congrès
Modélisation des systèmes réactifs, 2013, France. pp.29--43, 2013, 〈10.3166/JESA.47〉
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00856678
Contributeur : David Janin <>
Soumis le : lundi 2 septembre 2013 - 10:59:21
Dernière modification le : jeudi 11 janvier 2018 - 06:20:16
Document(s) archivé(s) le : mardi 3 décembre 2013 - 11:21:02

Fichier

RR-1474-13.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Anne Dicky, David Janin. Modélisation algébrique du dîner des philosophes. Modélisation des systèmes réactifs, 2013, France. pp.29--43, 2013, 〈10.3166/JESA.47〉. 〈hal-00856678〉

Partager

Métriques

Consultations de la notice

183

Téléchargements de fichiers

810