Characterizing Implementability of Global Protocols with Infinite States and Data

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…