On Typing Systems for the Polyadic $\pi$-Calculus(Concurrency Theory and Applications '96)

ダウンロード数: 121

http://hdl.handle.net/2433/61234

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
0996-12.pdf		1.74 MB	Adobe PDF	見る/開く

タイトル:	On Typing Systems for the Polyadic $\pi$-Calculus(Concurrency Theory and Applications '96)
著者:	Togashi, Atsushi
発行日:	May-1997
出版者:	京都大学数理解析研究所
誌名:	数理解析研究所講究録
巻:	996
開始ページ:	125
終了ページ:	142
URI:	http://hdl.handle.net/2433/61234
出現コレクション:	0996 Concurrency Theory and Applications '96

このリポジトリに保管されているアイテムはすべて著作権により保護されています。