Reference:

Alin Ștefănescu, Javier Esparza, and Anca Muscholl. Synthesis of distributed algorithms using asynchronous automata. In Denis Lugiez Roberto Amadio, editor, CONCUR 2003-Concurrency Theory, volume 2761 of LNCS, Lecture Notes in Computer Science, pages 27–41. Springer-Verlag, 2003. ISBN 3-540-40753-7.

Suggested BibTeX entry:

@inproceedings{SEM03,
    author = {Alin \c{S}tef\u{a}nescu and Javier Esparza and Anca Muscholl},
    booktitle = {CONCUR 2003-Concurrency Theory},
    editor = {Roberto Amadio, Denis Lugiez},
    note = {ISBN 3-540-40753-7},
    pages = {27-41},
    publisher = {Springer-Verlag},
    series = {LNCS, Lecture Notes in Computer Science},
    title = {Synthesis of Distributed Algorithms Using Asynchronous Automata},
    volume = {2761},
    year = {2003}
}