4 citations · 4 across the 1 of their papers we have counts for
1 paper · 1 filter
Gil Silva, Andreia Mordido, Vasco T. Vasconcelos
Context-free session types describe structured patterns of communication on heterogeneously-typed channels, allowing the specification of protocols unconstrained by tail recursion.…