Models for distributed and mobile computation
Pr. Serge Chaumette
My slides
Course materials
- GAMMA
Un formalisme pour la construction de programmes parallèles
Jean-Pierre Banatre, Daniel Le Metayer et Louis Mussat
BIGRE no 66, Décembre 1989
Journées AFCET GROPLAN - Chamonix, Mai 1989
gamma-papier.pdf
Ce document est reproduit conformément aux droits qui lui
sont associés et avec l'accord de l'auteur.
- Graph relabelling systems and distributed algorithms
Yves Métivier, Igor Litovsky, Eric Sopena
http://pdfs.semanticscholar.org/77bd/e7ac4864d577b3050b22f9298397293c1a7c.pdf
- Distributed Maintenance of Anytime Available Spanning Trees in Dynamic Networks, Jul 2013, Poland. pp.99-110.
Arnaud Casteigts, Serge Chaumette, Frédéric Guinand, Yoann Pigné
https://hal.archives-ouvertes.fr/hal-00376701/file/adhocnow.pdf
- Introduction aux Réseaux de Petri
J-C. Geffroy
http://cyranac.free.fr/pub/cours/cnamMOCA/CH10.pdf
Ressources
Software tools