Fairness, distances and degrees - Irisa Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1990

Fairness, distances and degrees

Résumé

We show the identity between sets of fair computations in recursive transition graphs, sets of cluster points of finite computations for II01 ultra-metrics refining the Baire metrics, and II03 subsets of ww . The results are applied to recursive marked trees, fairness definitions, w-regular languages, and II03 sets.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-1199.pdf (888.24 Ko) Télécharger le fichier

Dates et versions

inria-00075359 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00075359 , version 1

Citer

Philippe Darondeau, Doris Nolte, Lutz Priese, Serge Yoccoz. Fairness, distances and degrees. [Research Report] RR-1199, INRIA. 1990. ⟨inria-00075359⟩
126 Consultations
318 Téléchargements

Partager

Gmail Facebook X LinkedIn More