On constructing n-entities communication protocol and service with alternative and concurrent functions

Bhed Bahadur Bista*, Kaoru Takahashi, Norio Shiratori

*この研究の対応する著者

    研究成果: Article査読

    2 被引用数 (Scopus)

    抄録

    In this paper, we consider a flexible method for designing n-entities communication protocols and services. The proposed technique considers alternative and parallel composition of n service specifications and n protocol specifications, where n ≥ 2. The specifications are specified in Basic LOTOS which is a Formal Description Technique (FDT). We use the weak bisimulation equivalence (≈) to represent the correctness properties between the service specification and the protocol specification.

    本文言語English
    ページ(範囲)2426-2435
    ページ数10
    ジャーナルIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
    E85-A
    11
    出版ステータスPublished - 2002 11

    ASJC Scopus subject areas

    • ハードウェアとアーキテクチャ
    • 情報システム
    • 電子工学および電気工学

    フィンガープリント

    「On constructing n-entities communication protocol and service with alternative and concurrent functions」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル