Algèbre de processus et synchronisation, with D. Austry, in Theoretical Computer Science (TCS) Vol. 30 (1984), 91-131.

Abstract:
We introduce here a calculus of processes, involving an asynchronous parallel composition and some synchronization primitives. It is shown that, in this calculus, many synchronization mechanisms can be formulated; in fact, this calculus is equivalent to Milner's synchronous calculus SCCS. We evaluate its expressive power by means of languages of behaviours.