Serge Yoccoz

TCS Journal 1992 Journal Article

Fairness, distances and degrees

• Philippe Darondeau
• Doris Nolte
• Lutz Priese
• Serge Yoccoz

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

I&C Journal 1992 Journal Article

Proof systems for infinite behaviours

• Philippe Darondeau
• Serge Yoccoz

We introduce several generalizations of testing to ω-behaviours of communicating processes, analyse the logical complexity of the testing equivalences, and establish on that basis a connection with proof systems.

MFCS Conference 1989 Conference Paper

Constructive Aspects of the Omega-Rule: Application to Proof Systems in Computer Science and Algorithmic Logic

• Serge Yoccoz