Art

J-GLOBAL ID：200902174496250923   Reference number：99A0202566

Multimedia Communication and Distributed Processing. Implementation of LOTOS Specifications on Distributed Environments and Its Evaluation.

マルチメディア通信と分散処理 分散環境でのLOTOS仕様の実現とその評価

Author (7)： TATSUMOTO HIROKI (大阪大 基礎工) ,  GOTO KAZUHIRO (大阪大 基礎工) ,  YASUMOTO KEIICHI (滋賀大 経済) ,  HIGASHINO TERUO (大阪大 基礎工) ,  ABE KOTA (大阪市大 学術情報総合セ) ,  MATSUURA TOSHIO (大阪市大 学術情報総合セ) ,  TANIGUCHI KEN'ICHI (大阪大 基礎工)
Material： 情報処理学会論文誌  (IPSJ Journal)
Volume： 40  Issue： 1  Page： 333-342  Publication year： Jan. 1999 
JST Material Number： Z0778A  ISSN： 0387-5806  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *formal description ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=99A0202566&from=J-GLOBAL&jstjournalNo=Z0778A") }}

JST classification (2)： Computer system development  (JD02010R) ,  Computer networks  (JC03000K)

Reference (11)：

• 安倍広多. BSD UNIX上での移植性に優れた軽量プロセス機構の実現. 情報処理学会論文誌. 1995, 36, 2, 296-303
• CHENG, Z. A New Distributed Algorithm for Implementation of LOTOS Multi-Rendezvous. Proc. 7th Int. Conf. on Formal Description Techniques. 1994, 493-504
• DUBUIS, E. An Algorithm for Translating LOTOS Behavior Expressions into Automata and Ports. Proc. 2nd Int. Conf. on Formal Description Techniques. 1990, 163-177
• ISO. Information Processing System, Open Systems Interconnection, LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. IS 8807. 1989
• ISO/IEC/TR. Information Technology - Open Systems Interconnection - Guidelines for the application of Estelle, LOTOS and SDL. 1991

Terms in the title (6)： マルチメディア通信 ,  分散処理 ,  分散環境 ,  LOTOS ,  仕様 ,  評価