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