Personal tools
You are here: Home Events Abstract Archives 1997 Global/Local Subtyping for a Distributed pi-calculus

Global/Local Subtyping for a Distributed pi-calculus

Peter Sewell (Computer Lab, Cambridge) LFCS Theory Seminar Room 2509, JCMB, King's Buildings 3.30pm, Monday 29th September 1997

In the design of mobile agent programming languages there is a tension between the implementation cost and the expressiveness of the communication mechanisms provided. In this talk I will give a static type system for a distributed pi-calculus in which the input and output capabilities of channels may be either global or local. This allows compile-time optimisation where possible but retains the expressiveness of channel communication. Subtyping allows all communications to be invoked uniformly. The distributed pi-calculus used integrates location and migration primitives from the Distributed Join Calculus with asynchronous pi communication. Similar type systems should be applicable to the enforcement of secrecy properties.

Document Actions