delta-Approximable Functions. - Charles Meyssonnier; Paolo Boldi; Sebastiano Vigna (CCA, 2000)

On the Decidability of Fragments of the Asynchronous pi-Calculus. - Roberto M. Amadio; Charles Meyssonnier (EXPRESS, 2001)

On Decidability of the Control Reachability Problem in the Asynchronous pi-Calculus. - Roberto M. Amadio; Charles Meyssonnier (Nord. J. Comput., 2002)

A logic you can count on. - Silvano Dal-Zilio; Denis Lugiez; Charles Meyssonnier (POPL, 2004)