Michael J. A. Smith, Stephen Gilmore. Visualisation for Stochastic Process Algebras: The Graphic Truth. In Nigel Thomas, editor, Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings. Volume 6977 of Lecture Notes in Computer Science, pages 310-324, Springer, 2011. [doi]
Abstract is missing.