@inproceedings{2381c234fd524c0ba4666b2f48b38bd2,
title = "Avoiding diamonds in desynchronization",
abstract = "The design of concurrent systems often assumes synchronous communication between different parts of a system. When system components are physically apart, this assumption becomes inappropriate. Desynchronization is a technique that aims to implement a synchronous design in an asynchronous manner by placing buffers between the components of the synchronous design. When queues are used as buffers, the so-called {\textquoteleft}diamond property{\textquoteright} (among others) ensures correct operation of the desynchronized design. However, this property is difficult to establish in practice. In this paper, we formally prove that the conditions for desynchronizability can be relaxed, and in particular the diamond property is no longer needed, when half-duplex queues are used as a communication buffer. Furthermore, we discuss how the half-duplex condition can be further relaxed when the diamond property can be partially guaranteed.",
author = "H. Beohar and P.J.L. Cuijpers",
year = "2013",
doi = "10.1007/978-3-642-35861-6_3",
language = "English",
isbn = "978-3-642-35860-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "36--54",
editor = "C.S. Pasareanu and G. Salaun",
booktitle = "Formal Aspects of Component Software (9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers)",
address = "Germany",
note = "9th International Symposium on Formal Aspects of Component Software (FACS 2012), September 12-14, 2012, Mountain View, CA, USA, FACS 2012 ; Conference date: 12-09-2012 Through 14-09-2012",
}