Algorithms for mutual exclusion (1986), The MIT Press, 107 pages.
Analyzed in ACM Computing Reviews, 28(4) :182-183, 1988, (no.8704-0237).

Distributed algorithms and protocols (1988), Wiley & Sons, 163 pages.
Analyzed in Software Practice and Experience, 18(7) :711. 1988.

Networks and distributed computation (1988), The MIT Press, 166 pages.
Analyzed in ACM Computing Reviews, 30(2) :77, 1989, (no. 8902-0036).

Synchronization and control of distributed systems and programs, (1991), Wiley & Sons, 160 pages.
(Co-authored with J.-M. Hélary)
Analyzed in ACM Computing Reviews, 32(10) :491, 1991, (no. 9110-0751).

Communication and time in distributed systems, (in french), (1991), Eyrolles, 200 pages.

Synchronization and global states in distributed sytems, (in french), (1992), Eyrolles, 202 pages.

Management of data in distributed systems, (in french), (1993), Eyrolles, 204 pages.

BOOK CHAPTERS

Time in Distributed Systems: Models and Algorithms.
Chapter of a book titled "Recent Advances Distributed Systems", Springer-Verlag, LNCS 1752, pp. 1-32, 1999.
Chapter co-authored with P. Verissimo (University of Lisboa, Portugal).

Consensus in Asynchronous Distributed Systems: A Concise Guided tour.
Chapter of a book titled "Recent Advances Distributed Systems", Springer-Verlag, LNCS 1752, pp. 33-48, 1999.
Chapter co-authored with R. Guerraoui, M. Hurfin, A. Mostefaoui, R. Oliveira and A. Schiper.

Reliable Logical Clocks for Unreliable Process Groups.
Chapter 4 of a book titled "Dependable Network Computing", pages 93-108, Kluwer Academic Press, 2000.
Chapter co-authored with A. Mostefaoui and M. Takizawa (Tokyo Denki University).

Article on "Synchronization" in "Encyclopedia of Distributed Computing", Kluwer Academic Press, 2004.

Article "Une introduction à l'algorithmique distribuée des systèmes répartis asynchrones", Encyclodédie Vuibert, 2006.