Nigel Thomas, Michael Harrison, Yishi Zhao, Xiao Chen. Formal Performance Modelling: From Protocols to People. In Mirco Tribastone, Stephen Gilmore, editors, Computer Performance Engineering - 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers. Volume 7587 of Lecture Notes in Computer Science, pages 127-139, Springer, 2012. [doi]
Abstract is missing.