文献

J-GLOBAL ID：200902178160350216   整理番号：00A0011275

通信サービスとプロトコル構成のための合成的アプローチ

Concurrent Systems Technology. A Compositional Approach for Constructing Communication Services and Protocols.

著者 (3件)： BISTA B B (Iwate Prefectural Univ., Iwate-ken, JPN) ,  TAKAHASHI K (Sendai National Coll. Technol., Sendai-shi, JPN) ,  SHIRATORI N (Tohoku Univ., Sendai-shi, JPN)
資料名： IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Institute of Electronics, Information and Communication Engineers)  (IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Institute of Electronics, Information and Communication Engineers))
巻： E82-A  号： 11  ページ： 2546-2557  発行年： 1999年11月25日 
JST資料番号： F0699C  ISSN： 0916-8508  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： コンカレントシステムにおいてはデータ交換のための相互通信が必...

シソーラス用語： *通信サービス ,...
準シソーラス用語： FDT【ソフトウェア】

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=00A0011275&from=J-GLOBAL&jstjournalNo=F0699C") }}

分類 (3件)： 通信方式一般  (ND07010E) ,  応用プログラミング言語  (JD03052Y) ,  計算機網  (JC03000K)

引用文献 (20件)：

• BOCHMANN, G. Deriving protocol specification from service specification. Proc. SIGCOMM '86. 1986, 14, 144-156
• HIGASHINO, T. Service specification and its protocol specifications in LOTOS - A survey for synthesis and execution. IEICE Trans. Fundamentals. 1992, E75-A, 3, 330-338
• LANGERAK, R. Decomposition of functionally: A correctness preserving LOTOS transformation. Protocol Specification, Testing and Verification, X. 1990, 203-218
• SALEH, K. A service-based method for the synthesis of communication protocols. International Journal of Mini and Microcomputers. 1990, 12, 3, 97-103
• KANT, C. Deriving protocol specifications from service specifications written in lotos. Distributed Computing. 1996, 10, 1, 29-47

タイトルに関連する用語 (2件)： 通信サービス ,  プロトコル