4 citations · 14 across the 8 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.FL2023★ 2 cited
Complete Multiparty Session Type Projection with Automata
Elaine Li, Felix Stutz, Thomas Wies +1
Multiparty session types (MSTs) are a type-based approach to verifying communication protocols. Central to MSTs is a projection operator: a partial function that maps protocols rep…
cs.FL2023
Asynchronous Multiparty Session Type Implementability is Decidable -- Lessons Learned from Message Sequence Charts
Felix Stutz
Multiparty session types (MSTs) provide efficient means to specify and verify asynchronous message-passing systems. For a global type, which specifies all interactions between role…