A study on design method for protocol and communication software プロトコルと通信ソフトウェアの設計法に関する研究
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
A study on design method for protocol and communication software
- Other Title
-
プロトコルと通信ソフトウェアの設計法に関する研究
- Author
-
程, 子学
- Author(Another name)
-
チョン, ツーシュエ
- University
-
東北大学
- Types of degree
-
博士 (工学)
- Grant ID
-
甲第4820号
- Degree year
-
1993-03-25
Note and Description
博士論文
Table of Contents
- Table of Contents / (0005.jp2)
- Acknowledgement / (0004.jp2)
- List of Captions / (0004.jp2)
- Chapter 1: Introduction / p1 (0006.jp2)
- 1.1 Background / p1 (0006.jp2)
- 1.2 Purpose / p2 (0006.jp2)
- 1.3 Comparison with other researches / p4 (0007.jp2)
- 1.4 The construction of the dissertation / p8 (0009.jp2)
- Chapter 2: Outline of LOTOS / p9 (0010.jp2)
- 2.1 The basic concept / p9 (0010.jp2)
- 2.2 The basic elements in LOTOS / p12 (0011.jp2)
- 2.3 An example of LOTOS specification / p13 (0012.jp2)
- 2.4 The characteristics of LOTOS / p15 (0013.jp2)
- Chapter 3: The solution for implementation problems of LOTOS specification / p17 (0014.jp2)
- 3.1 The basic idea for implementing the Process part / p17 (0014.jp2)
- 3.2 The basic idea for implementing the Data part / p20 (0015.jp2)
- Chapter 4: The implementation method in an UNIX system / p22 (0016.jp2)
- 4.1 Implementation strategy / p25 (0018.jp2)
- 4.2 Translation algorithm / p39 (0025.jp2)
- 4.3 The construction of the system and its application example / p56 (0033.jp2)
- 4.4 Conclusion / p59 (0035.jp2)
- Chapter 5: The implementation method in a network environment / p60 (0035.jp2)
- 5.1 Definitions / p62 (0036.jp2)
- 5.2 The distributed algorithm for implementation of Multi-Rendezvous (DAMR) / p65 (0038.jp2)
- 5.3 Properties of the distributed algorithm / p78 (0044.jp2)
- 5.4 Complexity of the distributed algorithm / p82 (0046.jp2)
- 5.5 The construction of the Multi-Rendezvous Execution environment in a network and its application example. / p85 (0048.jp2)
- 5.6 Conclusion / p87 (0049.jp2)
- Chapter 6: Conclusions / p89 (0050.jp2)
- References / p92 (0051.jp2)
- Appendix 1 LOTOS compiler / (0055.jp2)
- Appendix 2 Execution environment in an UNIX / (0082.jp2)
- Appendix 3 C source programs translated by LOTOS compiler / (0087.jp2)
- Appendix 4 Hard copy showing the execution of the example in an UNIX / (0091.jp2)
- Appendix 5 Execution environment in a network / (0092.jp2)
- Appendix 6 Hard copy showing the execution of the example in a network environment / (0101.jp2)
- List of author's research papers / (0102.jp2)