Synthesis of distributed algorithms using asynchronous automata (2003)

by A Stefanescu, J Esparza, A Muscholl
Venue:Proc. of CONCUR’03, LNCS 2761