A study on design method for protocol and communication software プロトコルと通信ソフトウェアの設計法に関する研究

この論文をさがす

著者

    • 程, 子学 チョン, ツーシュエ

書誌事項

タイトル

A study on design method for protocol and communication software

タイトル別名

プロトコルと通信ソフトウェアの設計法に関する研究

著者名

程, 子学

著者別名

チョン, ツーシュエ

学位授与大学

東北大学

取得学位

博士 (工学)

学位授与番号

甲第4820号

学位授与年月日

1993-03-25

注記・抄録

博士論文

目次

  1. Table of Contents / (0005.jp2)
  2. Acknowledgement / (0004.jp2)
  3. List of Captions / (0004.jp2)
  4. Chapter 1: Introduction / p1 (0006.jp2)
  5. 1.1 Background / p1 (0006.jp2)
  6. 1.2 Purpose / p2 (0006.jp2)
  7. 1.3 Comparison with other researches / p4 (0007.jp2)
  8. 1.4 The construction of the dissertation / p8 (0009.jp2)
  9. Chapter 2: Outline of LOTOS / p9 (0010.jp2)
  10. 2.1 The basic concept / p9 (0010.jp2)
  11. 2.2 The basic elements in LOTOS / p12 (0011.jp2)
  12. 2.3 An example of LOTOS specification / p13 (0012.jp2)
  13. 2.4 The characteristics of LOTOS / p15 (0013.jp2)
  14. Chapter 3: The solution for implementation problems of LOTOS specification / p17 (0014.jp2)
  15. 3.1 The basic idea for implementing the Process part / p17 (0014.jp2)
  16. 3.2 The basic idea for implementing the Data part / p20 (0015.jp2)
  17. Chapter 4: The implementation method in an UNIX system / p22 (0016.jp2)
  18. 4.1 Implementation strategy / p25 (0018.jp2)
  19. 4.2 Translation algorithm / p39 (0025.jp2)
  20. 4.3 The construction of the system and its application example / p56 (0033.jp2)
  21. 4.4 Conclusion / p59 (0035.jp2)
  22. Chapter 5: The implementation method in a network environment / p60 (0035.jp2)
  23. 5.1 Definitions / p62 (0036.jp2)
  24. 5.2 The distributed algorithm for implementation of Multi-Rendezvous (DAMR) / p65 (0038.jp2)
  25. 5.3 Properties of the distributed algorithm / p78 (0044.jp2)
  26. 5.4 Complexity of the distributed algorithm / p82 (0046.jp2)
  27. 5.5 The construction of the Multi-Rendezvous Execution environment in a network and its application example. / p85 (0048.jp2)
  28. 5.6 Conclusion / p87 (0049.jp2)
  29. Chapter 6: Conclusions / p89 (0050.jp2)
  30. References / p92 (0051.jp2)
  31. Appendix 1 LOTOS compiler / (0055.jp2)
  32. Appendix 2 Execution environment in an UNIX / (0082.jp2)
  33. Appendix 3 C source programs translated by LOTOS compiler / (0087.jp2)
  34. Appendix 4 Hard copy showing the execution of the example in an UNIX / (0091.jp2)
  35. Appendix 5 Execution environment in a network / (0092.jp2)
  36. Appendix 6 Hard copy showing the execution of the example in a network environment / (0101.jp2)
  37. List of author's research papers / (0102.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000095376
  • NII著者ID(NRID)
    • 8000000095602
  • DOI(NDL)
  • NDL書誌ID
    • 000000259690
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ