Specializing Anti-unification for Interaction Models Composition via Gate Connections. - Joel Nguetoum; Boutheina Bannour; Pascale Le Gall; Erwan Mahe (FM (1), 2026)