How to Infer Finite Session Types in a Calculus of Services and Sessions.

Leonardo Gaetano Mezzina

Browse the full Coordination paper archive.