Fungsi carian sedang dalam pembinaan.
Fungsi carian sedang dalam pembinaan.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

On Constructing n-Entities Communication Protocol and Service with Alternative and Concurrent Functions Mengenai Membina Protokol dan Perkhidmatan Komunikasi n-Entiti dengan Fungsi Alternatif dan Serentak

Bhed Bahadur BISTA, Kaoru TAKAHASHI, Norio SHIRATORI

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Dalam makalah ini, kami mempertimbangkan kaedah yang fleksibel untuk mereka bentuk protokol dan perkhidmatan komunikasi n-entiti. Teknik yang dicadangkan mempertimbangkan komposisi alternatif dan selari bagi n spesifikasi perkhidmatan dan n spesifikasi protokol, di mana n 2. Spesifikasi dinyatakan dalam LOTOS Asas iaitu Teknik Penerangan Formal (FDT). Kami menggunakan persamaan bisimulasi lemah () untuk mewakili sifat ketepatan antara spesifikasi perkhidmatan dan spesifikasi protokol.

Jawatankuasa
IEICE TRANSACTIONS on Fundamentals Vol.E85-A No.11 pp.2426-2435
Tarikh penerbitan
2002/11/01
Diumumkan
ISSN dalam talian
DOI
Jenis Manuskrip
Special Section PAPER (Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
kategori

Pengarang

Kata kunci

Contents [show]