Modal mu-Types for Processes

Marino Miculan, Fabio Gadducci

Browse the full LICS paper archive.