Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia, Alexandre Yakovlev. Automating Synthesis of Asynchronous Communication Mechanisms. Fundamenta Informaticae, 78(1):75-100, 2007. [doi]
@article{GorgonioCXY07,
title = {Automating Synthesis of Asynchronous Communication Mechanisms},
author = {Kyller Costa Gorgônio and Jordi Cortadella and Fei Xia and Alexandre Yakovlev},
year = {2007},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=78&issue=1&spage=75},
researchr = {https://researchr.org/publication/GorgonioCXY07},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {78},
number = {1},
pages = {75-100},
}