Publications

[[AFG98]] M. Abadi, C. Fournet, and G. Gonthier.
Secure implementation of channel abstractions.
To be submitted for a conference, November 1997 .

[[BFL98]] M. Boreale, C. Fournet, and C. Laneve.
Bisimulations in the join-calculus.
Submitted for a conference, September 1997.

[[leF97]] F. le Fessant, I. Piumarta, and M. Shapiro,
An implementation for complete asynchronous distributed garbage collection.
Submitted for publication, November 1997, available electronically ( http:www-sor.inria.frdocs).

[[Fou97]] C. Fournet.
Security within a calculus of mobile agents?
April 1997, http://www.cs.nps.navy.mil/research/languages/statements/fournet.ps.

[[FLMR97]] C. Fournet, C. Laneve, L. Maranget, and D. Rémy.
Implicit typing à la ML for the join-calculus.
In A. Mazurkiewicz and J. Winkowski, editors, CONCUR '97: Concurrency Theory (8th International Conference, Warsaw, Poland, July 1997), volume 1243 of LNCS, pages 196-212. Springer, 1997.

[[FouMa97]] C. Fournet and L. Maranget.
The join-calculus language.
Available electronically (http://pauillac.inria.fr/join), June 1997.

[[Gon98]] G. Gonthier.
On asynchronous barbs, simulations, and fair testing.
Submitted to a conference, Octobre 1997.

[[Le97]] J.-J. Lévy.
Some results in the join-calculus.
In M. Abadi and T. Ito, editors, TACS '97: Theoretical Aspects of Computer Software, volume 1281 of LNCS, pages 233-249. Springer, 1997.

[[Ne97a]] U. Nestmann.
What is a `good' encoding of guarded choice?
In C. Palamidessi and J. Parrow, editors, EXPRESS '97: Expressiveness in Concurrency (Santa Margherita Ligure, Italy, September 8-12, 1997), volume 7 of ENTCS. Elesevier Science Publishers, 1997.

[[NePie97]] U. Nestmann and B. C. Pierce.
Decoding choice encodings.
In U. Montanari and V. Sassone, editors, CONCUR '96: Concurrency Theory (7th International Conference, Pisa, Italy, August 1996), volume 1119 of LNCS, pages 179-194. Springer, 1996.
Revised full version as report ERCIM-10/97-R051, European Research Consortium for Informatics and Mathematics, 1997.

[[NS97]] U. Nestmann and M. Steffen.
Typing confluence.
In S. Gnesi and D. Latella, editors, Second International ERCIM Workshop on Formal Methods in Industrial Critical Systems (Cesena, Italy, July 4-5, 1997), pages 77-101. Consiglio Nazionale Ricerche di Pisa, 1997.
Also available as report ERCIM-10/97-R052, European Research Consortium for Informatics and Mathematics, 1997.