Example
Prev
Next
Example
Table of Contents
alternating bit protocol
— Example of an
mCRL
specification
tbfupdate
— Renames actions in Alternating Bit Protocol