山口 弘純 | 大阪大学基礎工学部情報科学科
スポンサーリンク
概要
関連著者
-
東野 輝夫
大阪大学基礎工学部情報科学科
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
山口 弘純
大阪大学基礎工学部情報科学科
-
岡野 浩三
大阪大学基礎工学部情報科学科
-
谷口 健一
大阪大学基礎工学部情報科学科
著作論文
- レジスタ付きペトリネットを用いた全体動作仕様から分散動作仕様の自動合成とその応用 (コンカレント・コラボレーション技術論文小特集)
- レジスタ付き時間ペトリネットで記述された分散システムの時間制約付き全体仕様からその時間制約を満たす各ノードの動作記述の自動導出(並列・分散)
- ペトリネットモデルを用いたソフトウェアプロセスの記述とその分散実行制御
- レジスタを持つ自由選択ネットで記述された分散システムの要求仕様から各ノードの動作仕様の導出
- 会議レポート ICNP'98 (IEEE主催第6回ネットワークとプロトコルに関する国際会議)報告