14/10/2002
Christophe Fouqueré (LIPN, Université Paris 13)
Extension en théorie des graphes de la ludique. Application à la modélisation de la concurrence stricte

Nous proposons une extension de la ludique dans laquelle l'objet élémentaire (la chronique) n'est plus défini comme un chemin mais comme un graphe avec contraintes. Nous montrerons que les propriétés essentielles sont conservées dès lors que les graphes manipulés sont alternés, acycliques, splittants. Nous indiquerons comment nous obtenons ainsi une sémantique pour un calcul de processus non nécessairement séquentiels. Nous en verrons enfin une caractérisation en termes de calcul des séquents.