Types for dyadic interaction. (1993)

by Kohei Honda
Venue:CONCUR ’93, 4th International Conference on Concurrency Theory,