Example


Table of Contents

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