Keigo IMAI


A Session Type System with Subject Reduction
Keigo IMAI Shoji YUEN Kiyoshi AGUSA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/08/01
Vol. E95-D  No. 8  pp. 2053-2064
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
Pi-calculussession typestype systemsubject reductionconcurrencyprocess calculipolarity
 Summary | Full Text:PDF