Davide Sangiorgi. An interpretation of typed objects into typed picalculus. INRIA RR-3000, 1996. 35  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
PICCOLA - a Small Composition Language - Achermann, Lumpe, Schneider.. (1999) (17 citations) (Correct)
.... of communicating processes) The # calculus has proven to be successful for modeling object oriented concepts [HT91, Jon93, Vas94, BS95, Wal95] and Sangiorgi has demonstrated that Abadi and Cardelli s first order functional Object Calculus [AC96] can be faithfully translated to the # calculus [San96] The design of PICCOLA owes a great deal to the experimental programming language PICT [PT97] PICT s programming constructs are provided as syntactic sugar and as library abstractions on top of a core language that implements the asynchronous # calculus. We have used PICT extensively to ....
Davide Sangiorgi. An interpretation of Typed Objects into Typed Pi-calculus. Technical Report RR-3000, INRIA Sophia-Antipolis, September 1996.
Proof of the subject reduction property for a π-calculus in.. - Henry-Gérard (1999) (Correct)
....: the polyadic calculus. This version of calculus, described by R.Milner in [7] allows the introduction of a rst notion of discipline on the use of names, since a reduction can be incorrect because of an arity mismatch. An other constraint on the use of names is introduced by D. Sangiorgi [9] [10] and concerns the directionality of names, that is, their ability to be used as emitters, receivers or both (or none) This name usage discipline is implemented by associating types to names, and by dening a predicate that states that the name that appears in a given process complies with the ....
....names of calculus 3.2 Environments The processes will be typed (g 3) or not in a environment that gives to each of their free names (that is of their parameters) a type expressing what they can transmit, as well as the direction in which they can transmit it. This predicate is noted Gamma P ([10]) These environments, noted Gamma, Delta, are total functions form the set of parameters to the set of types. Example: In Gamma such that h Gamma(p)i = B, h Gamma(q)i = N , h Gamma(r)i = N , the processes p[q] and p(x) x[r] are correctly typed individually, but in the rst case, it takes ....
Davide Sangiorgi. An interpretation of typed objects into typed pi-calculus. INRIA RR-3000,
Preuve de la conservation des types du π-calcul en COQ - Henry-Gréard (1998) (Correct)
No context found.
Davide Sangiorgi. An interpretation of typed objects into typed picalculus. INRIA RR-3000, 1996. 35
Actors: A Model for Reasoning about Open Distributed Systems - Agha, Thati, Ziaei (2001) (Correct)
No context found.
D. Sangiorgi. An Interpretation of Typed Objects into Typed Pi-Calculus. Information and Computation, 143(1), 1998.
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