Linearity of Client/Server Systems.
Giovanni Degli Antoni, Dario Cabianca, Matteo Vaccari, Marco Benini, F. Casablanca · Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano) · 1995
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 de nition of such a property, that we called linearity, by means of the Process Algebra formalism.Through some examples of linear and non linear systems, we illustrate the expressiveness of our de nition.Moreover, we present a sucient condition for linearity and discuss the preservation of linearity w.r.t.process-algebraic operators applied to linear systems.