A Theory of Composable Lingos for Protocol Dialects. - Víctor García; Santaigo Escobar; Catherine Meadows 001; José Meseguer 001 (CoRR, 2026)