2 citations · 5 across the 6 of their papers we have counts for
1 paper · 1 filter
Jens Aagaard, Hans Hüttel, Mathias Jakobsen +1
We present a binary session type system using context-free session types to a version of the applied pi-calculus of Abadi et. al. where only base terms, constants and channels can…