論文 - 梅津　高朗

61. 制約指向モデルで記述された対称性を持つ並行システムの形式的検証，情報処理学会論文誌，42巻 12号 （頁 3054 ～ 3062） ，2001年12月，梅津 高朗, 山口 弘純, 安本 慶一, 中田 明夫, 東野 輝夫

    研究論文（学術雑誌），共著

62. A Constraint-Oriented Design Method for Distributed Cooperative Systems and Efficient Deadlock Detection Using Symmetries，Proceedings of the 2nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing, (SNPD'01) （頁 584 ～ 591） ，2001年08月，Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Akio Nakata, Teruo Higashino

    研究論文（国際会議プロシーディングス），共著

63. Protocol Synthesis from SMIL-Based Scenarios and Its Implementation in Distributed Environment，Proceedings of the 15th IEEE International Conference on Information Networking (ICOIN-15) （頁 163 ～ 170） ，2001年01月，Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino

    研究論文（国際会議プロシーディングス），共著