1 January 2004

The journal article “Behind BANANA: Design and implementation of a tool for nesting analysis of Mobile Ambients”, by Braghin, C., Cortesi, A., Focardi, R., Luccio, F.L., Piazza, C., has just been published in “Electronic Notes in Theoretical Computer Science”! Available here.