タクラ アキラ   Akira Takura
  田倉 昭
   所属   十文字学園女子大学  社会情報デザイン学部 社会情報デザイン学科
   職種   教授
言語種別 日本語
発行・発表の年月 1995/03
形態種別 研究論文
標題 グラフ変換を用いたプロトコル合成法
執筆形態 共著
掲載誌名 信学会コンピュテーション研究
掲載区分国内
巻・号・頁 COMP94-105,33-40頁
著者・共著者 田倉昭、世良孝文、太田理。
概要 複数端末の大域状態遷移規則の集合として記述された通信サービス仕様から端末ごとに局所状態を保持するプロセスの仕様を導出するプロトコル合成法を提案する。