activity
20182024
most citedComparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types

4 citations · 5 across the 2 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2024★ 1 cited

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…