Synthesis of distributed algorithms using asynchronous automata (0)

by A Stefanescu, J Esparza, A Muscholl
Venue:In CONCUR, number 2761 in LNCS