Linearity of Client/Server Systems

An important property of a client/server system is the independence of the interaction between the server and a client from the interactions that the server might have with other possible clients. In this paper we try to give a definition of such a property, that we called linearity, by means of Process Algebra formalisms. Through some examples of linear and non linear systems, we illustrate the expressiveness of our definition. Moreover, we present a sufficient condition for linearity and discuss the preservation of linearity w.r.t. process-algebraic operators applied to linear systems.