A. Cortesi

Latest

• Nesting Analysis of Mobile Ambients
• BANANA - A Tool for Boundary Ambients Nesting ANAlysis
• Complexity of Nesting Analysis in Mobile Ambients
• Operational and abstract semantics of the query language G-Log