Type-Based Analysis of Communication for Concurrent Programming Languages.

Atsushi Igarashi, Naoki Kobayashi

Browse the full SAS paper archive.