Show simple item record

dc.contributor.authorHENNESSY, MATTHEW
dc.date.accessioned2008-11-24T11:11:52Z
dc.date.available2008-11-24T11:11:52Z
dc.date.created26-28 June 2000en
dc.date.issued2000
dc.date.submitted2000en
dc.identifier.citationNobuko Yoshida and Matthew Hennessy `Assigning Types to Processes? in proceedings of the Fifteenth Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, 26-28 June 2000, IEEE Computer Society Press , 2000, pp 334-348en
dc.identifier.otherY
dc.identifier.otherYen
dc.identifier.urihttp://hdl.handle.net/2262/24943
dc.descriptionPUBLISHEDen
dc.description.abstractIn 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 ?-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 ?-calculus. The expressiveness of our types enables us to state and prove interesting identities between typed processesen
dc.format.extent334-348en
dc.format.extent385717 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoenen
dc.publisherIEEE Computer Society Press.en
dc.rightsYen
dc.subjectAdministrative Staff Authorsen
dc.titleAssigning Types to Processesen
dc.typeConference Paperen
dc.type.supercollectionscholarly_publicationsen
dc.type.supercollectionrefereed_publicationsen
dc.identifier.peoplefinderurlhttp://people.tcd.ie/mcbhenne
dc.identifier.rssurihttp://ieeexplore.ieee.org/iel5/6908/18575/00855782.pdf?tp=&isnumber=&arnumber=855782


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record