次の例では、受信者への値の範囲を使用して、送信元プロセスを送信する装置であるFIFOと呼ばれる、FIFOバッファです。送信者と受信者の使用
和
通信チャネルと二つのバッファ:
透過率値は、図1の第1のページに続く30 3.2。
モジュールは、非同期プロトコルを指定しました。その段差を有する非重複四種類、すなわちで:これは、以下の行為のシステム仕様を可能にします
チャネルおよび
チャネル上
と
工程。
予備翻訳TLA + "指定システム" --section 4.0 A FIFO
おすすめ
転載: blog.csdn.net/robinhzp/article/details/104077440
おすすめ
ランキング