scientific article; zbMATH DE number 1954374
From MaRDI portal
Publication:4415245
zbMath1027.68086MaRDI QIDQ4415245
Silvia Crafa, Michele Bugliesi, Vladimiro Sassone, Massimo Merro
Publication date: 28 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2556/25560071.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Role-based access control for boxed ambients, On the computational strength of pure ambient calculi, A typed encoding of boxed into safe ambients, Locating reaction with 2-categories, Mobility control via passports, Communication and mobility control in boxed ambients, On an open problem of Amadio and Curien: The finite antichain condition