BibSonomy :: author  ::

bookmarks

publications

(4)

• A logic you can count on.
  Silvano Dal-Zilio and Denis Lugiez and Charles Meyssonnier POPL 135-146 (2004)
  to dblp by dblp on 2006-02-15 00:00:00
  | URL | BibTeX  
• On the Decidability of Fragments of the Asynchronous pi-Calculus.
  Roberto M. Amadio and Charles Meyssonnier Electr. Notes Theor. Comput. Sci. 52 (2001)
  to dblp by dblp on 2004-07-28 00:00:00
  | URL | BibTeX  
• On Decidability of the Control Reachability Problem in the Asynchronous pi-Calculus.
  Roberto M. Amadio and Charles Meyssonnier Nord. J. Comput. 9 70-101 (2002)
  to dblp by dblp on 2004-01-14 00:00:00
  | URL | BibTeX  
• delta-Approximable Functions.
  Charles Meyssonnier and Paolo Boldi and Sebastiano Vigna CCA 187-199 (2000)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX