論文 - 結縁　祥治

Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes 査読有り

Lecture Notes in Computer Science   836 巻   頁： 497-512   1994年

　詳細を見る

担当区分：筆頭著者   記述言語：英語  

An extension of the testing method for processes passing infinite values 査読有り

Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki

Workshop in Computing     頁： 155-173   1993年

　詳細を見る

担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

An Extension of the Testing Method for Processes Passing Infinite Values 査読有り

The John Hopkins University     頁： 10:1-20   1992年8月

　詳細を見る

担当区分：筆頭著者   記述言語：英語  

CCSによるモニタ記述の形式的記述 査読有り

結縁祥治、坂部俊樹、稲垣康義

電子情報通信学会論文誌   J73-D-1 巻   頁： 683-692   1990年

　詳細を見る

担当区分：筆頭著者   記述言語：日本語   掲載種別：研究論文（学術雑誌）