Types for dydadic interaction (1993)

by K Honda
Venue:Proc. CONCUR '93, LNCS 715