15/11/2001: Eric Goubault (CEA)
Parall�lisme et Topologie Alg�brique

Résumé
Dans cet expos�, je vais montrer comment un certain nombre de concepts classiques du parall�lisme (points morts, �tats inatteignables, ordonnancement d'actions etc.) trouvent naturellement une expression g�om�trique.
Certains des travaux que je vais �voquer ont pour origine lointaine les ``progress graphs'' d'E. W. Dijkstra et plus r�cemment, les automates de dimension sup�rieure introduits par V. Pratt et R. van Glabbeek. Depuis, beaucoup de r�sultats ont �t� produits (par moi-m�me ou par d'autres, comme P. Gaucher, M. Raussen, L. Fajstrup, S. Sokolowski, J. Gunawardena etc.) et je pr�senterai un �tat de l'art de la question.
La particularit� de cette approche est qu'elle met en oeuvre des th�mes importants de la topologie alg�brique classique, tout en raffinant celle-ci (la notion de temps irr�versible se rajoute � celle d'espace g�om�trique plus classique).
Je terminerai en indiquant les tendances actuelles, soit dans les applications (analyse statique, syst�mes distribu�s tol�rants aux pannes, r�ecriture etc.) soit dans la th�orie (van Kampen, cat�gories d'homotopies d'ordre sup�rieur etc.).