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-calculus,  session types,  type system,  subject reduction,  concurrency,  process calculi,  polarity, 
  Summary |  Full Text:PDF (257.6KB)
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 (59.8KB)