Work Analysis with Resource-Aware Session Types.

Ankush Das, Jan Hoffmann, Frank Pfenning

Browse the full LICS paper archive.