SUBTYPING AND LOCALITY IN DISTRIBUTED HIGHER ORDER PROCESSES
Dr Nobuko Yoshida, School of Cognitive and Computing Sciences, University of Sussex

Abstract: In this talk, I present a typing system which guarantees one important aspect of distributed systems, locality in a distributed higher-order processes. The combination of dynamic channel creation inherited from pi-calculus and transmission of higher-order programs inherited from lambda-calculus offers us direct descriptions of various distributed computational structures. The typing system is based on the simple subtyping system of lambda-calculus and IO-subtyping of pi-calculus, which is tractable to control accessibility of resources. We also show that our method is applicable to more general constraints, based on local and global channel capabilities.

This is joint work with Matthew Hennessy.

This seminar was held at the Department of Computer Science, Royal Holloway, University of London on 18 October 1999.

back