Toward an Algebraic Theory of Systems
Theor. Comput. Sci., Volume abs/1609.04293, 2018.
Abstract We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-order invariance explicitly captu...More
Full Text (Upload PDF)
PPT (Upload PPT)