An Implicitly-Typed Deadlock-Free Process Calculus.

Naoki Kobayashi, Shin Saito, Eijiro Sumii

Browse the full CONCUR paper archive.