Automated Verification of Asynchronous Communicating Systems with TLA+. - Florent Chevrou; Aurélie Hurault; Philippe Quéinnec (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

Mechanized Refinement of Communication Models with TLA ^+ +. - Florent Chevrou; Aurélie Hurault; Philippe Mauran; Philippe Quéinnec (ABZ, 2016)

On the diversity of asynchronous communication. - Florent Chevrou; Aurélie Hurault; Philippe Quéinnec (Formal Aspects Comput., 2016)

Formalisation of asynchronous interactions. (Formalisation des interactions asynchrones). - Florent Chevrou (2017)

A Map of Asynchronous Communication Models. - Florent Chevrou; Aurélie Hurault; Shin Nakajima 001; Philippe Quéinnec (FM Workshops (2), 2019)

A modular framework for verifying versatile distributed systems. - Florent Chevrou; Aurélie Hurault; Philippe Quéinnec (J. Log. Algebraic Methods Program., 2019)