21 citations · 25 across the 5 of their papers we have counts for
1 paper · 1 filter
Elaine Li, Thomas Wies
Global protocols specify distributed, message-passing protocols from a birds-eye view, and are used as a specification for synthesizing local implementations. Implementability asks…