Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

IFIP
2004
Springer

favoriteEmaildiscussreport

110views Programming Languages» more IFIP 2004»

Dynamic and Local Typing for Mobile Ambients

13 years 9 months ago

Dynamic and Local Typing for Mobile Ambients

Download www.dsi.unive.it

Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio

Real-time Traffic

Communications | IFIPTCS 2004 |

claim paper

Related Content

» A Mobility Calculus with Local and Dependent Types

» Types for Mobile Ambients

» Boxed Ambients with Communication Interfaces

» Interacting State Machines for Mobility

» Types for Security in a Mobile World

» Rolebased access control for boxed ambients

» A Practical Modelling Notation for Secure Distributed Computation

» Secure Data Flow in a Calculus for Context Awareness

» Shadow Removal in Indoor Scenes

Post Info
More Details (n/a)

Added	02 Jul 2010
Updated	02 Jul 2010
Type	Conference
Year	2004
Where	IFIP
Authors	Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese

Comments (0)