Charles Meyssonnier

	2004
4		Silvano Dal-Zilio, Denis Lugiez, Charles Meyssonnier: A logic you can count on. POPL 2004: 135-146
	2002
3		Roberto M. Amadio, Charles Meyssonnier: On Decidability of the Control Reachability Problem in the Asynchronous pi-Calculus. Nord. J. Comput. 9(1): 70-101 (2002)
	2001
2		Roberto M. Amadio, Charles Meyssonnier: On the Decidability of Fragments of the Asynchronous pi-Calculus. Electr. Notes Theor. Comput. Sci. 52(1): (2001)
	2000
1		Charles Meyssonnier, Paolo Boldi, Sebastiano Vigna: delta-Approximable Functions. CCA 2000: 187-199

Coauthor Index

1	Roberto M. Amadio	[2] [3]
2	Paolo Boldi	[1]
3	Silvano Dal-Zilio	[4]
4	Denis Lugiez	[4]
5	Sebastiano Vigna	[1]

Colors in the list of coauthors