Synthesis of Distributed Algorithms Using Asynchronous Automata (2003)

by Alin Stefanescu , Javier Esparza , Anca Muscholl
Venue:CONCUR’03, volume 2761 of LNCS
Citations:16 - 4 self