Process Algebra for Performance Evaluation (2000)

by Holger Hermanns, Ulrich Herzog, Joost-pieter Katoen