久保 誠

構造化通信を基礎としたプログラミング言語の簡約意味論 

千葉商大論叢 42(4) 123-142 2005年  

Typing System for Structured Communication-based Programming Language 

The Journal of Chiba University of Commerce 千葉商科大学論叢 38(2) 151-174 2000年  

構造化通信を基礎としたプログラミング言語の型システム 

千葉商大論叢 38(2) 151-174 2000年  

通信を基礎としてプログラミングのための構造化プリミティブ(I)記述と意味論(共著) 

コンピュータソフトウェア 14(5) 32-54 1997年  

Primitives for Structuring Conmunication-based Programs, Part I 

Computer Software 14(5) 32-54 1997年  

π計算とその周辺 

情報処理 37(4) 319-326 1996年  

π-calculi and their Semantics 

37(4) 319-326 1996年  

Cost Graphs for Concurrent Calculi 

64-79 1995年  

An Interaction Based Language and Its Typing System. 

Pro Ceedings of Parallel Architectures and Languages Europe 1994年