2 citations · 4 across the 4 of their papers we have counts for
Showing cs.FLShow all
3 papers · 1 filter
cs.FL2026★ 1 cited
Implementability of Global Distributed Protocols modulo Network Architectures
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…
cs.FL2026
Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking
Elaine Li, Felix Stutz
Global protocol specifications are the starting point of top-down verification methodologies, and serve as a blueprint for synthesizing local specifications that guarantee the corr…
cs.FL2024★ 2 cited
Deciding Subtyping for Asynchronous Multiparty Sessions
Elaine Li, Felix Stutz, Thomas Wies
Multiparty session types (MSTs) are a type-based approach to verifying communication protocols, represented as global types in the framework. We present a precise subtyping relatio…