next up previous contents
Next: KTH Up: INRIA-Sophia Previous: Participation to CONFER Workshops

Publications

[[Am97]] R. Amadio.
An asynchronous model of locality, failure, and process mobility.
In Proc. Coordination 97, Springer Lect. Notes in Comp. Sci. 1282, 1997.

[[AmCou97]] R. Amadio and S. Coupet-Grimal.
Analysis of a guard condition in type theory (preliminary report).
Technical Report TR 1997.245. Also RR-3300 INRIA, Université de Provence (LIM), 1997.

[[AmCu97]] R. Amadio and P.-L. Curien.
Domains and Lambda-Calculi.
Cambridge University Press.
To appear.

[[AmPra97]] R. Amadio and S. Prasad.
Modelling IP mobility.
Technical Report TR 1997.244. Also RR-3301 INRIA, Université de Provence (LIM), 1997.

[[Bou97a]] G. Boudol.
The pi-calculus in direct style.
In Proceedings POPL'97, 1997.

[[Bou97b]] G. Boudol.
Typing the use of resources in a concurrent calculus.
In Proceedings ASIAN'97, LNCS 1345, 1997.

[[Dal97]] S. Dal-Zilio.
Implicit polymorphic type system for the blue calculus.
Technical Report RR-3244, INRIA, 1997.

[[PiSa97]] B. Pierce and D. Sangiorgi.
Behavioral equivalence in the polymorphic pi-calculus.
In 24th POPL. ACM Press, 1997.

[[San97a]] D. Sangiorgi.
The name discipline of receptiveness.
volume 1256 of Lecture Notes in Computer Science. Springer Verlag, 1997.
Full paper available electronically as ftp://zenon.inria.fr/meije/theorie-par/davides/Receptiveness.ps.Z.

[[San97J]] D. Sangiorgi.
Typed $\pi$-calculus at work: a proof of Jones's parallelisation transformation on concurrent objects.
Presented at the Fourth Workshop on Foundations of Object-Oriented Languages (FOOL 4). To appear in Theory and Practice of Object-oriented Systems, 1997.


next up previous contents
Next: KTH Up: INRIA-Sophia Previous: Participation to CONFER Workshops

1/10/1998