Process algebras for quantitative analysis. In: (2005)

by J Hillston
Venue:20th Annual IEEE Symposium on Logic in Computer Science,