9 citations · 11 across the 3 of their papers we have counts for
1 paper · 1 filter
Bernardo Almeida, Andreia Mordido, Peter Thiemann +1
Context-free session types provide a typing discipline for recursive structured communication protocols on bidirectional channels. They overcome the restriction of regular session…