Publications

2022

Butterfield, Andrew, Koutavas, Vasileios, Ngondi, Gerard. 2022. From CCS to CSP: the m-among-n Synchronisation Approach. doi: 10.48550/arXiv.2209.05232.