Banana - A Tool for Boundary Ambients Nesting ANAlysis [chapter]

Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
2003 Lecture Notes in Computer Science  
doi:10.1007/3-540-36577-x_32 fatcat:3klbdonbsfevff2ifxmxkgkf6m