University of Sussex
Browse

File(s) not publicly available

Assigning Types to Processes

presentation
posted on 2023-06-07, 21:52 authored by N Yoshida, M 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. 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 process type takes a 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 illustrate the use of our fine-grained typing system for distributed systems. As a specific application we define a new typed behavioural equivalence for the higher-order p-calculus. The expressiveness of our types enables us to state and prove interesting identities between typed processes

History

Publication status

  • Published

Page range

334-345

Presentation Type

  • paper

Event name

Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science

Event location

Santa Barbara, CA , USA

Event type

conference

ISBN

0-7695-0725-5

Department affiliated with

  • Informatics Publications

Full text available

  • No

Peer reviewed?

  • Yes

Legacy Posted Date

2012-02-06

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC