.:. Browse > By authors > Meyssonnier .:.

2 documents ordered by : Date Title first author name document type Submit date

A Logic You Can Count On Dal Zilio S., Lugiez D., Meyssonnier C. N° RR-5022 (2003) [inria-00071562 - version 1]

On the Decidability of Fragments of the Asynchronous Pi-Calculus Amadio R. M., Meyssonnier C. N° RR-4241 (2001) [inria-00072346 - version 1]