A New Type System for Deadlock-Free Processes.

Naoki Kobayashi

Browse the full CONCUR paper archive.