External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Stochastic Process Algebras

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]

Authors

Allan Clark

This author has not been identified. Look up 'Allan Clark' in Google

Stephen Gilmore

This author has not been identified. Look up 'Stephen Gilmore' in Google

Jane Hillston

This author has not been identified. Look up 'Jane Hillston' in Google

Mirco Tribastone

This author has not been identified. Look up 'Mirco Tribastone' in Google
runs on