Charles Meyssonnier

Publication Activity (10 Years)

Years Active: 2000-2004
Publications (10 Years): 0

Publications

Silvano Dal-Zilio, Denis Lugiez, Charles Meyssonnier
A logic you can count on. POPL (2004)
Roberto M. Amadio, Charles Meyssonnier
On Decidability of the Control Reachability Problem in the Asynchronous pi-Calculus. Nord. J. Comput. 9 (1) (2002)
Roberto M. Amadio, Charles Meyssonnier
On the Decidability of Fragments of the Asynchronous pi-Calculus. EXPRESS (2001)
Charles Meyssonnier, Paolo Boldi, Sebastiano Vigna
delta-Approximable Functions. CCA (2000)