Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone. Stochastic Process Algebras. In Marco Bernardo, Jane Hillston, editors, Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures. Volume 4486 of Lecture Notes in Computer Science, pages 132-179, Springer, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.