Automate parallèle à homotopie près (I) - 01/01/03
pages | 4 |
Iconographies | 0 |
Vidéos | 0 |
Autres | 0 |
Résumé |
Les CW-complexes globulaires et les flots sont deux modélisations géométriques des automates parallèles qui permettent de formaliser la notion de dihomotopie. La dihomotopie est une relation d'équivalence sur les automates parallèles qui préserve des propriétés informatiques comme la présence ou non de deadlock. On construit un plongement des CW-complexes globulaires dans les flots et on démontre que deux CW-complexes globulaires sont dihomotopes si et seulement si les flots associés sont dihomotopes. Pour citer cet article : P. Gaucher, C. R. Acad. Sci. Paris, Ser. I 336 (2003).
Abstract |
Globular CW-complexes and flows are both geometric models of concurrent processes which allow to model in a precise way the notion of dihomotopy. Dihomotopy is an equivalence relation which preserves computer-scientific properties like the presence or not of deadlock. One constructs an embedding from globular CW-complexes to flows and one proves that two globular CW-complexes are dihomotopic if and only if the corresponding flows are dihomotopic. To cite this article: P. Gaucher, C. R. Acad. Sci. Paris, Ser. I 336 (2003).
Plan
Vol 336 - N° 7
P. 593-596 - avril 2003 Retour au numéroBienvenue sur EM-consulte, la référence des professionnels de santé.
L’accès au texte intégral de cet article nécessite un abonnement.
Bienvenue sur EM-consulte, la référence des professionnels de santé.
L’achat d’article à l’unité est indisponible à l’heure actuelle.
Déjà abonné à cette revue ?