@inproceedings{inproceedings, title = {{Avoiding Diamonds in Desynchronization}}, publisher = {{Springer}}, url = {{}}, year = {{2013}}, month = {{1}}, author = {{Beohar H and Cuijpers PJL}}, volume = {{7684}}, journal = {{Formal Aspects of Component Software}}, pages = {{36-54}}, note = {{Accessed on 2025/07/14}}}