Baiardi, F. et al, "Static Type Checking of Interprocess Communication in ECSP"

[CC 1984] (1984) SIGPLAN Notices 19(06) ACM Symposium on Compiler Construction, 1984  

Languages mentioned ECSP {1984}