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.).