AN AUTOMATA-BASED APPROACH FOR SYNCHRONIZABLE MAILBOX COMMUNICATION. - DELPY, ROMAIN; MUSCHOLL, ANCA; SUTRE, GRÉGOIRE (Logical Methods in Computer Science (LMCS), 2026)