Papers - YUEN, Shoji

Extending Process Language with Time Reviewed

Lecture Notes In Computer Science   Vol. 1349   1997

　More details

Authorship：Lead author   Language：English  

Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes Reviewed

Lecture Notes in Computer Science   Vol. 836   page： 497-512   1994

　More details

Authorship：Lead author   Language：English  

An extension of the testing method for processes passing infinite values Reviewed

Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki

Workshop in Computing     page： 155-173   1993

　More details

Authorship：Lead author   Language：English   Publishing type：Research paper (scientific journal)  

An Extension of the Testing Method for Processes Passing Infinite Values Reviewed

The John Hopkins University     page： 10:1-20   1992.8

　More details

Authorship：Lead author   Language：English  

CCSによるモニタ記述の形式的記述 Reviewed

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

電子情報通信学会論文誌   Vol. J73-D-1   page： 683-692   1990

　More details

Authorship：Lead author   Language：Japanese   Publishing type：Research paper (scientific journal)