M. Boreale. On the expresiveness of internal mobility in name-passing calculi. In Proceedings of CONCUR '96, LNCS 1119. Springer-Verlag, 1996. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
An interpretation of Typed Objects into Typed π-calculus - Sangiorgi (1996) (4 citations) (Correct)
....Type systems for the calculus are useful both in revealing program errors due to the misuse of names, and in rening the algebraic theory of the calculus [PS93, KPT96] They have been the subject of several recent works. Generalisations and extension of Pierce and Sangiorgi s type system include [Ode95, KPT96, Bor96, Yos96]; in particular, KPT96] extends it with linear capabilities. Higher order extensions are also possible, see [Tur96] for the case of parametric polymorphism. Related ideas of types, but without directionality information, can be found, for instance, in [VH93, VT93] A general framework for these ....
....subject position at most once; a name received in an input can only be used in output position. The processes obeying this discipline are ifunctionalj, in that they have a conAEuent reduction relation. Some of these constraints appear in calculus like languages studied by Amadio [Ama96] Boreale [Bor96], Fournet and Gonthier [CG96] Identifying combinations of the calculus operators which are useful for the interpretation of objects might lead to the denition of a higher level target calculus, capable of yielding more succinct and readable interpretations of objects. We would like to apply the ....
M. Boreale. On the expresiveness of internal mobility in name-passing calculi. In Proceedings of CONCUR '96, LNCS 1119. Springer-Verlag, 1996.
Implicit Polymorphic Type System for the Blue Calculus - Dal-Zilio (1997) (1 citation) (Correct)
....can be dynamically created. We does not lose expressive power though. Indeed, from a calculus viewpoint, this restriction is equivalent to the limitation that a name received during an input cannot be used as an input channel. This restriction is present in Michele Boreale s i a calculus [3], and it has been shown that the asynchronous calculus of Boudol [4, 19] can be faithfully encoded in its fragment i a . To conclude, let us see, in some examples, how the blue calculus takes the best from both the functional and the process calculi world. It is possible to give example ....
....one can easily deduce that it is not possible to devise an implicit type system i# la MLj for the calculus along the lines of M . Indeed, the same arguments applies in each case. For the same reason, one can easily derive a polymorphic type system for i a , Michele Boreale s calculus [3], from our type system for the restricted version of used in this article, i.e. without abstraction on references. In fact, at the cost of simple transformation, it is also possible to type I , the sub language of the calculus such that only private names can be exchanged among processes. ....
M. Boreale. On the expresiveness of internal mobility in name-passing calculi. In Proc. CONCUR '96, volume 1119 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
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