Chris M. N. Tofts. Compositional Performance Analysis. In Ed Brinksma, editor, Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS 97, Enschede, The Netherlands, April 2-4, 1997, Proceedings. Volume 1217 of Lecture Notes in Computer Science, pages 290-305, Springer, 1997.
Abstract is missing.