34 citations · 78 across the 22 of their papers we have counts for
1 paper · 1 filter
Anca Muscholl, Igor Walukiewicz
The distributed synthesis problem is about constructing cor- rect distributed systems, i.e., systems that satisfy a given specification. We consider a slightly more general problem…