Descriptional independence and the formal definition of sequential control structure
Tomasz Terlikowski · Fundamenta Informaticae · 2002
In this paper, continuing our research in [10] and [11] we introduce the notion of descriptional independence. This notion is aimed at a formalization of the concept of sequential control structure, used in the control theory. The reader will find all relevant notions in [10] and [11]