Skip to content

Synthesis of Distributed Algorithms Using Asynchronous Automata.

Alin Stefanescu, Javier Esparza, Anca Muscholl

VenueBCONCUR
Year2003
ProceedingsCONCUR

Browse the full CONCUR paper archive.