Integrating behavioural and performance analysis with topology information
Corrado Priami · 1996
We consider /spl pi/-calculus, a model of concurrent processes based on the notion of naming, extended with probabilistic information. The new language is an evolution of CSP-like stochastic process algebra which we call stochastic /spl pi/-calculus. Furthermore, we integrate the semantic description of the language with topology information expressed through axioms. The new formalism is suitable for studying behavioural and performance properties of distributed systems. In particular we can compare different allocations of systems on a fixed network architecture with respect to expected performance.