TY  - RPRT
TI  - Characterizing Implementability of Global Protocols with Infinite States and Data
AU  - Elaine Li
AU  - Felix Stutz
AU  - Thomas Wies
AU  - Damien Zufferey
PY  - 2025
UR  - https://arxiv.org/abs/2411.05722
ID  - 2411.05722
ER  -