Un exercice dans la conception d'un programme en termes de processus coopérants.
Actes du congrès AFCET-Informatique, Gif sur Yvette, (novembre 1981), pp. 117-126.

Eléments d'un langage adapté à la communication entre processus.
Actes du congrès AFCET-Informatique, Nancy, (novembre 1980), Ed. Hommes et Techniques), pp.667-676.
(With avec P. Le Guernic).

Synchronisation and protection features for data abstraction.
Congress Gesellschatft fur Informatik, Saarbrucken, RFA, (september 1980), (Springer-Verlag Ed.), pp.227-241.
(With D. Herman).

Abstract specification of communication systems.
Proc.1st IEEE Int. Conference on Distributed Computing Systems, Huntsville, Alabama, (october 1979), pp. 339-346.
(With PH. Darondeau, P. Le Guernic).

Présentation et évaluation du projet SOC : Un système d'objets conservés types.
Actes du Congrès AFCET, Gif-sur-Yvette (novembre 1978), (Ed.Hommes et Techniques), pp. 446-456.
(With M. Banâtre, A. Couvert, D.Herman).

Types abstraits et pluralité de leurs representations l'exécution.
Colloque International sur la programmation, Paris, (mars 1978), (B. Robinet Ed., Dunod), pp. 263-278.
(With M. Banâtre, A. Couvert, D.Herman).

A model of inter-context control tranfer.
Congress of the Gesellschatft Informatik, Springer-Verlag, renberg, RFA, (september 1977).
(With PH. Darondeau, T. Muntean).

Faults and remedies of compile-time protection methods.
Annual Conf. on the Implementation and the Design of Algorithmic Languages, (III, IFIP W.G. 2.1), Guidel, France (may 1977), pp.102-110.
(With Y. Bekkers, PH. Darondeau).

Communication between processes and the process management in SAR.
Conf. on Experience with Algol 68, Liverpool, U.K. (april 1975).
(With Y. Bekkers, D. Herman, J.P. Verjus).

A standard prelude for a multi-user operating system based on Algol 68.
Int. Conf. on Algol 68, Stillwater, Oklahoma (june 1975), G. Hedrick Ed., pp. 190-202.
(With Y. Bekkers, D. Herman, J.P. Verjus).

Minimizing command language in a system based on a high level language.
IFIP Conf. on Command Languages, Lund, Suède (august 1974). (C. Unger Ed., North-Holland 1975), pp. 117-135.
(With D. Herman, L. Trilling, J.P. Verjus).