Scan: A Simple Coordination Workbench. - Jean-Marie Jacquet; Manel Barkallah (COORDINATION, 2019)

Anemone: A workbench for the Multi-Bach coordination language. - Jean-Marie Jacquet; Manel Barkallah (Sci. Comput. Program., 2021)

On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues. - Manel Barkallah; Jean-Marie Jacquet (ICE, 2023)

The B2Scala Tool: Integrating Bach in Scala with Security in Mind. - Doha Ouardi; Manel Barkallah; Jean-Marie Jacquet (ICE, 2024)

On the expressiveness and efficiency of guarded lists in Bach. - Manel Barkallah; Jean-Marie Jacquet (J. Log. Algebraic Methods Program., 2025)