Specifying Behaviour

Specifying Actions

Specifying Stateful Behaviour

Using Guards

Using Conditional Statements

Using Functions

Using 'reply'

Using 'inevitable' and 'optional'

Using 'illegal'

Restrictions Multiple Provides

Using 'blocking'

Using 'async'