@article{article, title = {{Avoiding diamonds in desynchronisation}}, publisher = {{Elsevier BV}}, url = {{http://eprints.whiterose.ac.uk/158374/ }}, year = {{2014}}, month = {{1}}, author = {{Beohar H and Cuijpers PJL}}, doi = {{10.1016/j.scico.2013.12.002}}, volume = {{91}}, journal = {{Science of Computer Programming}}, pages = {{45-69}}, note = {{Accessed on 2024/12/22}}}