Nobuko Yoshida, Matthew Hennessy  Home/Search
Context Related
Links: ACM DBLP | doc.ic.ac.uk/~yoshida/...protype2.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: doc.ic.ac.uk/~yoshida/paperic (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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 contrast to most of the... (Update)
Cited by: More
The M-calculus: A Higher-Order Distributed Process Calculus - Schmitt, Stefani (2003) (Correct)
Typing and Subtyping Mobility in Boxed Ambients - Merro, Sassone (2002) (Correct)
A Dependently Typed Ambient Calculus - Lhoussaine, Sassone (2003) (Correct)
Similar documents (at the sentence level):
49.3%: Assigning Types to Processes - Yoshida, Hennessy (2000) (Correct)
27.6%: Assigning Types to Processes (Extended Abstract) - Yoshida, Hennessy (Correct)
Active bibliography (related documents): More All
0.6: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.5: Subtyping and Locality in Distributed Higher Order Processes .. - Yoshida, Hennessy (1999) (Correct)
0.2: Channel Dependent Types for Higher-Order Mobile Processes (Part I) - Yoshida (2004) (Correct)
Similar documents based on text: More All
0.4: Subtyping and Locality in Distributed Higher Order Processes - Yoshida, Hennessy (1999) (Correct)
0.1: Strong Normalisation in the π-Calculus - Yoshida, Berger, Honda (2001) (Correct)
Related documents from co-citation: More All
25: Types for mobile ambients - Cardelli, Gordon - 1999
24: Controlling interference in ambients - Levi, Sangiorgi - 2000
23: Subtyping and Locality in Distributed Higher Order Processes - Yoshida, Hennessy - 1999
BibTeX entry: (Update)
Y. Yoshida and M. Hennessy. Assigning types to processes. In Proceedings, Fifteenth Annual IEEE Symposium on Logic in Computer Science, pages 334--348, 2000. http://citeseer.ist.psu.edu/article/yoshida00assigning.html More
@inproceedings{ yoshida00assigning,
author = "Nobuko Yoshida and Matthew Hennessy",
title = "Assigning Types to Processes",
booktitle = "Logic in Computer Science",
pages = "334-345",
year = "2000",
url = "citeseer.ist.psu.edu/article/yoshida00assigning.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
566 Proof-carrying code - Necula - 1997
315 Dynamic Typing in a Statically Typed Language - Abadi, Cardelli et al. - 1991 ACM DBLP
291 A Calculus for Mobile Agents - Fournet, Gonthier et al. - 1996
248 Expressing Mobility (context) - Sangiorgi - 1992
224 Semantics of Programming Languages: Structures and Technique.. (context) - Gunter - 1992
188 Region-based memory management - Tofte, Talpin - 1997 ACM DBLP
167 Resource Access Control in Systems of Mobile Agents - Hennessy, Riely - 1998 ACM DBLP
158 Secrecy by Typing in Security Protocols - Abadi - 1997 ACM
146 Typing and subtyping for mobile processes - Pierce, Sangiorgi - 1996
140 On Reduction-Based Process Semantics - Honda, Yoshida - 1993 ACM DBLP
139 Secure information flow in a multi-threaded imperative langu.. - Volpano, Smith - 1998 ACM DBLP
118 What are principal typings and what are they good - Jim - 1996
117 Klaim: a Kernel Language for Agents Interaction and Mobility - De Nicola, Ferrari et al. - 1998 DBLP
108 Linearity and the pi-calculus - Kobayashi, Pierce et al. - 1996
102 The SLam Calculus: Programming with Secrecy and Integrity - Heintze, Riecke - 1998 DBLP
99 Typed concurrent objects - Vasconcelos - 1994 ACM DBLP
92 Subtyping Recursive Types - Amadio, Cardelli - 1993 ACM DBLP
87 call-by-value and the lambda-calculus (context) - Plotkin - 1975
75 Trust and partial typing in open systems of mobile agents - Riely, Hennessy - 1999
67 Composing Processes - Honda - 1996 ACM DBLP
66 Graph Types for Monadic Mobile Processes - Yoshida - 1996 ACM DBLP
57 Subtyping and Locality in Distributed Higher Order Processes - Yoshida, Hennessy - 1999
56 Behavioral Equivalence in the Polymorphic Pi-calculus - Pierce, Sangiorgi - 1997
49 Secure Information Flow as Typed Process Behaviour - Honda, Vasconcelos et al. - 2000 ACM DBLP
42 GlobalLocal Subtyping and Capability Inference Distributed p.. - Local, Capability et al. - 1998
35 Combinatory Representation of Mobile Processes - Honda, Yoshida - 1994
34 Language Support for Mobile Agents - Knabe - 1995
34 Static analysis of communication for asynchronous concurrent.. - Kobayashi, Nakade et al. - 1995
25 Java home page (context) - Inc - 1995
25 Operational and Algebraic Semantics for Facile: A Symmetric .. (context) - Giacalone, Mistra et al. - 1990 ACM DBLP
23 Logic and Algebra of Specification (context) - Milner - 1992 ACM
22 An extension of system F with subtyping - Cardelli, Martini et al. - 1994 ACM DBLP
22 Translating Core Facile - Amadio - 1994
22 A Small Calculus for Concurrent Objects (context) - Honda, Tokoro - 1991
18 Distribution and Mobility with Lexical Scoping - Vasconcelos, Lopes et al. - 1998
17 objectspace.com/voyager (context) - Inc, http - 1997
12 Principal Typing Scheme for Polyadic p-Calculus (context) - Vasconcelos, Honda - 1993
9 A Theory of Bisimulation for a Fragment of Concurrent ML wit.. - Jeffrey, Rathke - 2000
8 Effect systems with subtyping - Tang, Jouvelot - 1995 ACM DBLP
7 Typed Mobile Ambients (context) - Cardelli, Gordon - 1999
7 Resource Access in the Information Asynchronous PiCalculus (context) - Hennessy, Riely - 2000
7 Syntactic control of interference revised (context) - O'Hearn, Power et al. - 1997
6 A static type system for detecting potentially transmissible.. - Kirli - 1999
4 A Theory of Types for the pi-calculus - Honda - 1998
4 The receptive distributed p-calculus (context) - Amadio, Boudol et al. - 1999
4 th Annual IEEE Symposium on Logic and Computer Science (context) - Yoshida, Hennessy et al. - 2000
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.doc.ic.ac.uk/~yoshida/paper-ic.html): More
safeDpi: a language for controlling mobile code - Hennessy, Rathke, Yoshida (2003) (Correct)
A Distributed Object-Oriented Language with Session Types - Dezani-Ciancaglini.. (2005) (Correct)
An Observationally Complete Program Logic for Imperative.. - Honda, Yoshida, Berger (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC