TY - JOUR T1 - Avoiding diamonds in desynchronisation JO - Science of Computer Programming UR - http://eprints.whiterose.ac.uk/158374/ PY - 2014/01/01 AU - Beohar H AU - Cuijpers PJL ED - DO - DOI: 10.1016/j.scico.2013.12.002 PB - Elsevier BV VL - 91 SP - 45 EP - 69 Y2 - 2024/12/23 ER -