Type-Based Analysis of Usage of Communication Channels for Concurrent Programming Languages (1997)

by A Igarashi, N Kobayashi