External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting

Giorgio Delzanno, Roberto Montagna. Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting. In Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone, editors, Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings. Volume 4281 of Lecture Notes in Computer Science, pages 302-316, Springer, 2006. [doi]

Authors

Giorgio Delzanno

This author has not been identified. Look up 'Giorgio Delzanno' in Google

Roberto Montagna

This author has not been identified. Look up 'Roberto Montagna' in Google
runs on