@article{article, title = {{Avoiding diamonds in desynchronisation}}, publisher = {{Elsevier}}, url = {{https://eprints.whiterose.ac.uk/id/eprint/158374 }}, year = {{2013}}, month = {{12}}, author = {{Beohar H and Cuijpers PJL}}, doi = {{10.1016/j.scico.2013.12.002}}, volume = {{91, Part A}}, journal = {{Science of Computer Programming}}, pages = {{45-69}}, note = {{Accessed on 2025/11/20}}}