scientific article; zbMATH DE number 1231618

MaRDI QIDQ4222941zbMATH OpenFDO

Authors Luca Cardelli, Andrew D. Gordon

Publication date 6 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=10#10017

zbMATH Keywords

mobile computingmobile computation

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Network design and communication in computer systems (68M10)

Recommendations

• Probabilistic mobile ambients
• scientific article; zbMATH DE number 1754608
• M\(^3\): mobility types for mobile processes in mobile ambients
• A calculus of mobile agents

Cited in

(33)

• Mark, a reasoning kit for mobility
• Timers and Proximities for Mobile Ambients
• A Generic Mobile Agent Framework towards Ambient Intelligence
• Mobile ambients
• scientific article; zbMATH DE number 1956482 (Why is no real title available?)
• Behavioral theory for mobile ambients
• Validating firewalls using flow logics
• A Decentralized Implementation of Mobile Ambients
• Dynamic configuration of access control for mobile components in <scp>FarGo</scp>
• Security policies as membranes in systems for global computing
• Trustworthy Global Computing
• A notation and logic for mobile computing
• scientific article; zbMATH DE number 1754608 (Why is no real title available?)
• Mobile Ambients with Timers and Types
• Ambient abstract state machines with applications
• Probabilistic mobile ambients
• A polynomial translation of mobile ambients into safe Petri nets. Understanding a calculus of hierarchical protection domains
• On abstract interpretation of mobile ambients
• scientific article; zbMATH DE number 1759482 (Why is no real title available?)
• Nomadic Pict: correct communication infrastructure for mobile computation
• Anytime, anywhere: modal logics for mobile ambients
• A decentralised graphical implementation of mobile ambients
• Migratory interactive applications for ubiquitous environments.
• A calculus of mobile agents
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Security Policies as Membranes in Systems for Global Computing
• A calculus of virtually timed ambients
• On the expressiveness of pure mobile ambients
• Deriving Structural Labelled Transitions for Mobile Ambients
• Secure Data Flow in a Calculus for Context Awareness
• scientific article; zbMATH DE number 1487853 (Why is no real title available?)
• Distributability of mobile ambients
• scientific article; zbMATH DE number 2084813 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222941)