DOI: 10.5176/978-981-08-7654-8_R-42
Authors: M.W Shields, S. Moschoyiannis and P.J Krause
Abstract:
We investigate order-thoretic properties of sets of tuples of strings (component vectors) which provide a semantics for a model of software components. Under certain circumstances ("normality") on sets of such vectors, we characterise prime elements and establish prime algebraicity. We indicate how such work might constitute a formal basis for an automata theory of components.
Updating...