Assigning Types to Processes

@article{Yoshida2000AssigningTT,
  title={Assigning Types to Processes},
  author={Nobuko Yoshida and Matthew Hennessy},
  journal={Inf. Comput.},
  year={2000},
  volume={174},
  pages={143-179}
}
In wide area distributed systems it is now common for higher-order codeto 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 π-calculus which can be used to control the effect of such migrating… CONTINUE READING

Topics

Statistics

01020'99'01'03'05'07'09'11'13'15'17
Citations per Year

80 Citations

Semantic Scholar estimates that this publication has 80 citations based on the available data.

See our FAQ for additional information.