多プロセスの通信プロトコルにおけるチャネル有界性の検証法

倪　永茂  菅沼　知久  黒沢　馨  辻井　重男 

誌名
電子情報通信学会論文誌 D  Vol.J73-D1  No.5  pp.529-531
発行日: 1990/05/20
Online ISSN: 
Print ISSN: 0915-1915
論文種別: レター
専門分野: 
キーワード: 


本文: PDF(184.1KB)

あらまし: 
通信プロトコルにおいて，チャネル上のメッセージ数は有限でなければならない．本論文は，メッセージが1種類の多プロセスプロトコルにおけるチャネル有界性の検証アルゴリズムを示すものである．