Types for dyadic interaction (1993)

by Kohei Honda
Venue:In CONCUR 1993, volume 715 of LNCS