Charles Meyssonnier

Statistics

Publications

Citations

100

H-Index

Active since

2002

Affiliations

Laboratoire d’Informatique Fondamentale de Marseille(Current)

Charles Meyssonnier is an author at Laboratoire d’Informatique Fondamentale de Marseille specializing in engineering, formal verification, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSemanticsVerificationProof ComplexityAutomated ReasoningSystems EngineeringAsynchronous Systems

Publications per year

2002–2004

Publications

A logic you can count on

Silvano Dal Zilio, Denis Lugiez, Charles Meyssonnier · 2004 · 67 citations

Computational Logic, Ambient Logic, Engineering +15

On decidability of the control reachability problem in the asynchronous π-calculus

Roberto M. Amadio, Charles Meyssonnier · Nordic journal of computing · 2002 · 33 citations

Petri Net, Reachability Analysis, Engineering +13

1–2 of 2