Charles Meyssonnier (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

2 Roberto M. Amadio, Charles Meyssonnier: On the Decidability of Fragments of the Asynchronous pi-Calculus. Electr. Notes Theor. Comput. Sci. 52(1): (2001)

Selection of 2 from 4 records - Charles Meyssonnier has 5 coauthors

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)
2		Roberto M. Amadio, Charles Meyssonnier: On the Decidability of Fragments of the Asynchronous pi-Calculus. Electr. Notes Theor. Comput. Sci. 52(1): (2001)