scientific article; zbMATH DE number 1231618

zbMATH Open0925.68068MaRDI QIDQ4222941FDOQ4222941

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (33)

• Mark, a reasoning kit for mobility
• Timers and Proximities for Mobile Ambients
• A Generic Mobile Agent Framework towards Ambient Intelligence
• Title not available (Why is that?)
• Mobile ambients
• Behavioral theory for mobile ambients
• A Decentralized Implementation of Mobile Ambients
• Validating firewalls using flow logics
• Dynamic configuration of access control for mobile components in <scp>FarGo</scp>
• Trustworthy Global Computing
• Security policies as membranes in systems for global computing
• A notation and logic for mobile computing
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Nomadic Pict: correct communication infrastructure for mobile computation
• On abstract interpretation of mobile ambients
• Anytime, anywhere: modal logics for mobile ambients
• A decentralised graphical implementation of mobile ambients
• 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
• Migratory interactive applications for ubiquitous environments.
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Distributability of mobile ambients

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)