Next: INRIA-Sophia Up: INRIA-Rocquencourt Previous: Persons and exchanges
M. Boreale, C. Fournet, and C. Laneve.
Bisimulations in the join-calculus.
Submitted for a conference, September 1997.
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).
Security within a calculus of mobile agents?
April 1997, http://www.cs.nps.navy.mil/research/languages/statements/fournet.ps.
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.
C. Fournet and L. Maranget.
The join-calculus language.
Available electronically (http://pauillac.inria.fr/join), June 1997.
On asynchronous barbs, simulations, and fair testing.
Submitted to a conference, Octobre 1997.
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.
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.
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.
U. Nestmann and M. Steffen.
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.