Complexity of Nesting Analysis in Mobile Ambients.

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

Browse the full VMCAI paper archive.