A Matrix-based Method for Analysing Stochastic Process Algebras.

Jeremy T. Bradley, N. J. Davies

Browse the full ICALP paper archive.