机译:A Session Type System with Subject Reduction
IT Planning Inc., Nagoya-shi, 466-0059 Japan;
Graduate School of Information Sci-ence, Nagoya University, Nagoya-shi, 464-8601 Japan;
pi-calculus; session types; type system; subject reduction; con-currency; process calculi; polarity;