University of Sussex
Browse

sorry, we can't preview this file

ic02.ps (476.36 kB)

Assigning types to processes

Download (476.36 kB)
journal contribution
posted on 2023-06-07, 14:10 authored by Nobuko Yoshida, Matthew Hennessy
In wide area distributed systems it is now common for higher-order code to be transferred from one domain to another; the receiving host may initialise parameters and then execute the code in its local environment. In this paper we propose a fine-grained typing system for a higher-order p-calculus which can be used to control the effect of such migrating code on local environments. Processes may be assigned different types depending on their intended use. This is in contrast to most of the previous work on typing processes where all processes are typed by a unique constant type, indicating essentially that they are well typed relative to a particular environment. Our fine-grained typing facilitates the management of access rights and provides host protection from potentially malicious behaviour. Our process type takes the form of an interface limiting the resources to which it has access and the types at which they may be used. Allowing resource names to appear both in process types and process terms, as interaction ports, complicates the typing system considerably. For the development of a coherent typing system, we use a kinding technique, similar to that used by the subtyping of the system F, and order-theoretic properties of our subtyping relation. Various examples of this paper illustrate the usage of our fine-grained process types in distributed systems.

History

Publication status

  • Published

Journal

Information and Computation

ISSN

0890-5401

Publisher

IEEE Computer Society

Issue

2

Volume

174

Page range

143-179

Pages

334.0

ISBN

0769507255

Department affiliated with

  • Informatics Publications

Notes

Article also presented at Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science (LICS00)

Full text available

  • Yes

Peer reviewed?

  • Yes

Legacy Posted Date

2008-02-27

Usage metrics

    University of Sussex (Publications)

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC