Abstract FR:

Le monoide de commutation constitue un rpolongement du monoide libre. Cette structure algebrique dont les elements sont appeles des traces constitue un modele pour l'etude du parallelisme. Trois types de questions sont abordes: la reconnaissabilite d'ensembles de traces, l'approximation des traces et les proprietes de confluence et de terminaison des systemes de reecriture associes a des commutations