The following publications are possibly variants of this publication:
- BANANA - A Tool for Boundary Ambients Nesting ANAlysisChiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza. TACAS 2003: 437-441 [doi]
- Nesting analysis of mobile ambientsChiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza. Comp. Lang., Syst. \& Struct., 30(3-4):207-230, 2004. [doi]
- Complexity of Nesting Analysis in Mobile AmbientsChiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza. vmcai 2003: 86-101 [doi]