Clocked Transition Systems
An Example
Back to the tutorial pages