Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System.

Barbara Knig

Browse the full ICALP paper archive.