Implementation of a distributed debugger for Estelle programs.
Proc. of the ERCIM Workshop on Distributed Systems, Lisboa, (14-15 november 1991), pp. 47-51.
(With M. Hurfin, N. Plouzeau).

Implementing semaphores on a distributed memory parallel machine.
Proc. Parallel Computing 91, Londres, (september 1991), North-Holland, Evans Ed, pp. 407-412.
(With A. Maddi).

A distributed solution to the k out-of m resources allocation problem.
Proc. ICCI 91, Ottawa, Canada, (may 1991), Springer-Verlag LNCS 497, pp. 509-522.

Implementation and evaluation of distributed synchronization on a distributed memory parallel machine.
Proc. 2nd European Conf. on Distributed Memory Computing EDMCC2, Munich, (april 1991), Springer-Verlag LNCS 487, pp. 304-314.
(With A. Couvert, R. Pédrono).

Order notions and atomic multicast in distributed systems.
Proc. 2d IEEE Int. Conference on future trends of Distributed Computing Systems, Le Caire, (september 1990), pp. 420-427.

Computing particular snapshots in distributed systems.
Proc. 9th Int. IEEE Phoenix Conference on Computers and Communications, (march 1990), Scottsdale, Arizona, pp. 116-123.
(With J.M. Hélary, N. Plouzeau).

Distributed computers in the design and analysis of distributed algorithms.
1st European Workshop on Hypercube and Distributed Computers, Rennes, North-Holland,1989.

Distribution of a global invariant in a parallel distributed system.
Parallel Computing 89, Leiden, Hollande, (september 1989), North-Holland, (Joubert G.R., Evans J.D., Peters F.J. Eds.), pp. 597-602.

Vers une problématique de l'algorithmique répartie.
Conférencier invité, Colloque Franco-Brésilien sur les Systèmes Répartis, Florianopolis, Brésil, (septembre 1989).
(With J.M. Hélary).

Characterization of a particular class of distributed snapshots. Proc. Int. Conference on Computing and Information, Toronto, Canada, (23-27 may 1989, North-Holland Ed. : Computing and Informations) (Janicki and Koczkodaj Eds.)
(With J.M. Hélary, N. Plouzeau).

Distributed algorithms : their nature and the problems encountered.
Proc. Int. Workshop on Parallel and Distributed Algorithms, Bonas, (october 1988), North-Holland 1989, pp. 179-185.

Experimentation on a parallel machine is helpful to analyse distributed algorithms.
Proc. Int. Workshop on Parallel and Distributed Agorithms, Bonas (Gers), (october 1988), North-Holland 1989, pp. 243-250.
(With M. Adam, P. Ingels, C. Jard, J.M. Jézéquel).

The meaning of synchronous distributed algorithms run on asynchronous distributed systems.
Proc. 3rd Int. Symposium on Computers and Information Sciences, (1988), Izmir, Turquie, Nova Science Pub. Ed., New York, (1989), pp.307-316.
(With M. Adam, P. Ingels).

Assigning distinct identities to sites of an anonymous distributed system.
Proc. IEEE Conference on future of Distributed Computing Systems in the'90s, Hong-Kong, (september 1988), (Popescu-Zeletin and Yau Eds), pp. 82-86.
(With J.M. Hélary).

Les parcours répartis de réseaux : un outil pour la conception de protocoles.
CFIP 88, (Conf. Francophone sur l'Ingénierie des protocoles 1988), Bordeaux, (septembre 1988), Eyrolles (Castanet et Rafiq Eds), pp.159-170.
(With J.M. Hélary).

Depth-first traversal and virtual ring construction in distributed parallel systems.
Proc. IFIP WG 10.3 Conf. on Parallel Processing, Pise (april 1988), North-Holland : Parallel Processing (Cosnard, Barton, Vanneschi Eds), pp. 333-346.
(With J.M. Hélary).

Controlling information transfers in distributed applications, application to deadlock detection.
Int. Conf. on Parallel Processing and Applications, l'Aquila, Italy, (september 1987), North-Holland (Chiricozzi E. and D'Amico A. Eds) : Parallel Processing and Applications, pp. 85-92.
(With J.M. Hélary, A. Maddi).

General and efficient decentralized consensus protocols.
Int. Workshop on Distributed Algorithms, Amsterdam, (july 1987), LNCS 312, (may 1988), pp. 41-57.
(With J.C. Bermond, J.C. Konig).

The rudiments of object distribution in a distributed system.
Invited paper, Conf. on Computer and Information Sciences, Istambul, (october 1987), Nova Science Pub. Ed., New York (1988).

An algorithm to detect token loss on a logicial ring and to regenerate lost tokens.
Int. Conf. on Parallel Processing and Applications, l'Aquila, Italy, (september 1987), North-Holland (Chiricozzi E. and D'Amico A. Eds) : Parallel Processing and Applications, pp. 457-467.
(With G. Rubino).

Detection of stable properties in distributed applications.
Proc. 6th ACM Symposium on Principles of Distributed Computing, Vancouver, Canada, (august 1987), pp.125-136.
(With J.M. Hélary, C. Jard, N. Plouzeau).