Axiomatizing Mixed Relations

This paper is included in a series aiming to contribute to the algebraic theory of distributed computation. The key problem in understanding Multi-Agent Systems is to nd a theory which integrates the reactive part and the control part of such systems. The claim of this series of papers is that the mixture of the additive and multiplicative network algebras (MixNA) will contribute to the understanding of distributed computation. A study of the classes of nite relations as enriched strict monoidal categories is presented in CaS91]. The relations there are interpreted as connections in owchart schemes, hence an \angelic" theory of relations is used. Finite relations may be used to model the connections between the components of dataaow networks BeS95, BrS96], as well. The corresponding algebras are slightly diierent enriched strict monoidal categories modelling a \forward-demonic" theory of relations. In order to obtain a full model for parallel programs one needs to mix control and reac-tive parts, hence a richer theory of nite relations is needed. Here we present results of the second part of the series, which is devoted to algebraic presentations for such mixed-nite relations. We introduced enriched (weak) semiringal categories as an algebraic model for relations in this setting.