Presumably, this is some abstraction of the notion of behaviour?
A behaviour (or behavior) is ….
Given two behaviour and , a behaviour morphism from to is ….
Behaviours and behaviour morphisms form a category .
Last revised on July 8, 2010 at 20:03:59. See the history of this page for a list of all contributions to it.