Charles Meyssonnier

According to our database, Charles Meyssonnier authored at least 4 papers between 2000 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

A logic you can count on.

Silvano Dal-Zilio, Denis Lugiez, Charles Meyssonnier

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

2002

On Decidability of the Control Reachability Problem in the Asynchronous pi-Calculus.

Roberto M. Amadio, Charles Meyssonnier

Nord. J. Comput., 2002

2001

On the Decidability of Fragments of the Asynchronous pi-Calculus.

Roberto M. Amadio, Charles Meyssonnier

Proceedings of the 8th International Workshop on Expressiveness in Concurrency, 2001

2000

delta-Approximable Functions.

Charles Meyssonnier, Paolo Boldi, Sebastiano Vigna

Proceedings of the Computability and Complexity in Analysis, 4th International Workshop, 2000