multiparty session types are relevant to this: https://dl.acm.org/doi/10.1007/978-3-030-50029-0_8