Discrete determinable Processes-Compact Knowledge-Bases model.Discrete deterministic controlled Processes-Algebraic logical model.
Dyduch, Ewa Dudek