Fabrizio Baiardi, Laura Ricci, Marco Vanneschi. Static checking of interprocess communication in ECSP. In Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, Montreal, Canada, June 17-22, 1984. pages 290-299, ACM, 1984. [doi]
Abstract is missing.