BANANA - A Tool for Boundary Ambients Nesting ANAlysis.

Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza

Browse the full TACAS paper archive.