谷口 健一 | Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
スポンサーリンク
概要
- 同名の論文著者
- Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka Universityの論文著者
関連著者
-
谷口 健一
Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
-
嵩 忠雄
Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
-
関 浩之
奈良先端科学技術大学院大学
-
嵩 忠雄
奈良先端科学技術大学院大学 情報科学研究科
-
東野 輝夫
Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
関 浩之
Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
著作論文
- An Algebraic Method For Verifying Progress Property of Communication Protocolos
- On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/$^\ast$