@misc{indiciaed63776680537,
  title = {From CCS to CSP: the m-among-n Synchronisation Approach},
  author = {Gerard Ekembe Ngondi and Vasileios Koutavas and Andrew Butterfield},
  year = {2022},
  doi = {10.4204/eptcs.368.4},
  url = {https://arxiv.org/abs/2209.05232},
  note = {Source identifier: 2209.05232}
}