![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 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
Copyright © 2009-12-29 by Michael Ley (ley@uni-trier.de)