Mobility Types for Mobile Ambients

Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli. Mobility Types for Mobile Ambients. In JirĂ­ Wiedermann, Peter van Emde Boas, Mogens Nielsen, editors, Automata, Languages and Programming, 26th International Colloquium, ICALP 99, Prague, Czech Republic, July 11-15, 1999, Proceedings. Volume 1644 of Lecture Notes in Computer Science, pages 230-239, Springer, 1999. [doi]

Authors

Luca Cardelli

Identified as Luca Cardelli

Andrew D. Gordon

Identified as Andrew D. Gordon

Giorgio Ghelli

This author has not been identified. It may be one of the following persons: Look up 'Giorgio Ghelli' in Google