通信プロトコルの等価性及びエラーリカバリ性の検証とプログラムへの変換に関する研究 ツウシン プロトコル ノ トウカセイ オヨビ エラー リカバリセイ ノ ケンショウ ト プログラム エノ ヘンカン 二カンスル ケンキュウ
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
通信プロトコルの等価性及びエラーリカバリ性の検証とプログラムへの変換に関する研究
- Other Title
-
ツウシン プロトコル ノ トウカセイ オヨビ エラー リカバリセイ ノ ケンショウ ト プログラム エノ ヘンカン 二カンスル ケンキュウ
- Author
-
二宮, 清
- Author(Another name)
-
ニノミヤ, キヨシ
- University
-
大阪大学
- Types of degree
-
工学博士
- Grant ID
-
乙第5162号
- Degree year
-
1990-10-18
Note and Description
博士論文
Table of Contents
- 目次 / p3 (0004.jp2)
- 緒論 / p5 (0005.jp2)
- 第1章 通信プロトコルの等価性検証の一方法 / p1 (0009.jp2)
- 1.1 序言 / p2 (0010.jp2)
- 1.2 プロトコルのモデル化 / p4 (0011.jp2)
- 1.3 等価性の定義 / p11 (0014.jp2)
- 1.4 等価性の検証法 / p13 (0015.jp2)
- 1.5 検証例 / p24 (0021.jp2)
- 1.6 結言 / p26 (0022.jp2)
- 第2章 通信プロトコルにおけるエラーリカバリ性検証の一方法 / p27 (0022.jp2)
- 2.1 序言 / p28 (0023.jp2)
- 2.2 プロトコルのモデル化 / p29 (0023.jp2)
- 2.3 通信系の動作 / p34 (0026.jp2)
- 2.4 エラーリカバリ性の定義 / p36 (0027.jp2)
- 2.5 エラーリカバリ性の検証法 / p37 (0027.jp2)
- 2.6 検証例 / p46 (0032.jp2)
- 2.7 パラメータ値に依存しない検証法 / p49 (0033.jp2)
- 2.8 結言 / p58 (0038.jp2)
- 第3章 通信プロトコルの代数的仕様からプログラムへの変換 / p61 (0039.jp2)
- 3.1 序言 / p62 (0040.jp2)
- 3.2 抽象的順序機械 / p63 (0040.jp2)
- 3.3 プログラムへの変換法 / p66 (0042.jp2)
- 3.4 コンパイラの実現と変換例 / p77 (0047.jp2)
- 3.5 結言 / p83 (0050.jp2)
- 結論 / p84 (0051.jp2)
- 謝辞 / p86 (0052.jp2)
- 文献 / p87 (0053.jp2)