TitleFrom CCS to CSP: the m-among-n Synchronisation Approach
Publication TypeWorkshop Paper
Year of Publication2022
AuthorsNgondi G, Koutavas V, Butterfield A
DOI10.48550/arXiv.2209.05232