The delta-pi-calculus, a calculus based on the pi-calculus, is a model for mobile distributed computation. The delta-pi-calculus can be used to specify applications, in order to reason about their security and correctness properties. The delta-pi primitives have been implemented as a Java API. The implementation in Java provides a means of bridging the gap between application specification and implementation.
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.