32 citations · 78 across the 20 of their papers we have counts for
1 paper · 2 filters
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…