Semantics for communication primitives in a polymorphic language (1993)

by A OHORI, K KATO
Venue:In Proceedings of the 20th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages