Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting.

Giorgio Delzanno, Roberto Montagna

Browse the full ICTAC paper archive.