navigation bar
Home
|
-
A primitive, general concept of Behavior (<B>).
-
A calculational system from which all further varieties of behavior can be generated.
-
A calculational system for generating forms of behavior description.
-
<IA> |
= |
<B> |
= |
<I, W, K, KH, P, A, PC, S> |
|