TY - JOUR T1 - Avoiding diamonds in desynchronisation JO - Science of Computer Programming UR - https://eprints.whiterose.ac.uk/id/eprint/158374 PY - 2013/12/14 AU - Beohar H AU - Cuijpers PJL ED - DO - DOI: 10.1016/j.scico.2013.12.002 PB - Elsevier VL - 91, Part A SP - 45 EP - 69 Y2 - 2025/11/20 ER -