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.
Liste complète des métadonnées

Cited literature [21 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00856678
Contributor : David Janin <>
Submitted on : Monday, September 2, 2013 - 10:59:21 AM
Last modification on : Thursday, January 11, 2018 - 6:20:16 AM
Document(s) archivé(s) le : Tuesday, December 3, 2013 - 11:21:02 AM

File

RR-1474-13.pdf
Files produced by the author(s)

Identifiers

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, ⟨10.3166/JESA.47⟩. ⟨hal-00856678⟩

Share

Metrics

Record views

191

Files downloads

839