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.

Bisimulation Proof Methods for Mobile Ambients

Massimo Merro, Francesco Zappa Nardelli. Bisimulation Proof Methods for Mobile Ambients. In Jos C. M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger, editors, Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings. Volume 2719 of Lecture Notes in Computer Science, pages 584-598, Springer, 2003. [doi]

Authors

Massimo Merro

This author has not been identified. Look up 'Massimo Merro' in Google

Francesco Zappa Nardelli

This author has not been identified. Look up 'Francesco Zappa Nardelli' in Google
runs on