b
Download:
|
|
by Franco Barbanera, Mariangiola Dezani-ciancaglini, Ivano Salvo, Vladimiro Sassone
http://www.di.unito.it/~dezani/papers/tosca01.ps
Add To MetaCart
Abstract:
b
Citations
| 692 | Mobile Ambients – Cardelli, Gordon - 1998 |
| 155 | Types for mobile ambients – Cardelli, Gordon - 1999 |
| 128 | Controlling interference in ambients – Levi, Sangiorgi - 2000 |
| 81 | Boxed ambients – Bugliesi, Castagna, et al. - 2001 |
| 61 | Ambient groups and mobility types – Cardelli, Ghelli, et al. - 2000 |
| 45 | Secure safe ambients – Bugliesi, Castagna - 2001 |
| 38 | modal logics for mobile ambients – Anytime - 2000 |
| 22 | Subtyping and typing algorithms for mobile ambients – Zimmer - 2000 |
| 20 | Reasoning about security in mobile ambients – Bugliesi, Castagna, et al. - 2001 |
| 7 | On the expressiveness of pure mobile ambients – Zimmer - 2000 |
