  We develop a taxonomy of different behavioral specification theories and
expose their algebraic properties. We start by clarifying what precisely
constitutes a behavioral specification theory and then introduce logical and
structural operations and develop the resulting algebraic properties. In order
to motivate our developments, we give plenty of examples of behavioral
specification theories with different operations.
