Distributed Games with Causal Memory Are Decidable for Series-Parallel Systems. - Paul Gastin; Benjamin Lerman; Marc Zeitoun (FSTTCS, 2004)

Distributed Games and Distributed Control for Asynchronous Systems. - Paul Gastin; Benjamin Lerman; Marc Zeitoun (LATIN, 2004)

Vérification et Spécification des Systèmes Distribués. (Verification and Specification of Distributed Systems). - Benjamin Lerman (2005)