The next example is a FIFO buffer, referred to as FIFO, which is a device, which transmits the sender process using a range of value to the recipient. Sender and receiver use
sum
communication channels and two buffers:
transmission values will follow the first page in FIG. 30 3.2
module specified asynchronous protocol. This would allow the system specification of the following acts: a non-overlapping four kinds having its steps, i.e. in
channel and
on the channel
and
step.
Preliminary Translation TLA + "Specifying Systems" --Section 4.0 A FIFO
Guess you like
Origin blog.csdn.net/robinhzp/article/details/104077440
Recommended
Ranking