Decidability of well-connectedness for distributed synthesis
scientific article; zbMATH DE number 6147770