A Unifying Framework for Deciding Synchronizability. - Benedikt Bollig; Cinzia Di Giusto; Alain Finkel; Laetitia Laversa; Étienne Lozes; Amrita Suresh 001 (CONCUR, 2021)

Bounded Reachability Problems are Decidable in FIFO Machines. - Benedikt Bollig; Alain Finkel; Amrita Suresh 001 (Log. Methods Comput. Sci., 2022)

Formal Verification of Communicating Automata. (Vérification formelle des automates communicants). - Amrita Suresh 001 (2022)

Branch-Well-Structured Transition Systems and Extensions. - Benedikt Bollig; Alain Finkel; Amrita Suresh 001 (Log. Methods Comput. Sci., 2024)