# Behaviours

## Idea

Presumably, this is some abstraction of the notion of behaviour?

## Defintions

A behaviour (or behavior) is ….

Given two behaviour $B$ and $C$, a behaviour morphism from $B$ to $C$ is ….

Behaviours and behaviour morphisms form a category $Beh$.

## References

Revised on July 8, 2010 20:03:59 by Toby Bartels (173.60.119.197)