Finite-state machines for simple protocols

Knowledge package outline

Topic

Computation and software foundations

Purpose

Models behaviour with explicit states and transitions.

Package contents

State charts; invalid transitions; trace examples.

Dependencies

Logic.