Affordable Access

safeDpi: a language for controlling mobile code

Authors
Publisher
Springer-Verlag
Publication Date
Disciplines
  • Communication

Abstract

safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, which are essentially higher-order versions of Picalculus communication channels. A host location may protect itself by only accepting code which conforms to a given type associated to the incoming port

There are no comments yet on this publication. Be the first to share your thoughts.