Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Synthesis of Distributed Algorithms Using Asynchronous Automata

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}
}

PDF (228 kB)