Shoji YUEN


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

FOREWORD
Shoji YUEN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/05/01
Vol. E95-D  No. 5  pp. 1341-1341
Type of Manuscript:  FOREWORD
Category: 
Keyword: 
 Summary | Full Text:PDF