Next: INRIA-Sophia
Up: INRIA-Rocquencourt
Previous: Persons and exchanges
[[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.
1/10/1998