C. Braghin

Latest

• Nesting Analysis of Mobile Ambients
• BANANA - A Tool for Boundary Ambients Nesting ANAlysis
• Complexity of Nesting Analysis in Mobile Ambients