2 citations · 4 across the 4 of their papers we have counts for
1 paper · 1 filter
Elaine Li, Felix Stutz, Thomas Wies +1
We study the implementability problem for an expressive class of symbolic communication protocols involving multiple participants. Our symbolic protocols describe infinite states a…