Master advanced performance modelling with a groundbreaking compositional approach. This seminal work introduces PEPA, a stochastic extension of process algebra, crucial for specifying Markov processes in performance analysis. Explore real-world communication system case studies and learn to construct models using standard numerical techniques. Gain unique insights into reasoning about complex system behaviour and behaviour equivalences. Essential for computer science researchers, performance engineers, and postgraduate students in India seeking to excel in computational modelling and system analysis.