32 citations · 32 across the 2 of their papers we have counts for
1 paper · 1 filter
Marco Carbone, Søren Debois
We investigate a graphical representation of session invocation interdependency in order to prove progress for the pi-calculus with sessions under the usual session typing discipli…