1. Distributed computation of passage time quantiles and transient state distributions in large semi-Markov models;Bradley,2003
2. Hypergraph-based parallel computation of passage time densities in large semi-Markov models;Bradley;Journal of Linear Algebra and Applications,2004
3. W.J. Knottenbelt, Generalised Markovian analysis of timed transitions systems, MSc Thesis, University of Cape Town, South Africa, July 1996
4. Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic;Bradley,2003
5. Markov renewal processes with finitely many states;Pyke;Annals of Mathematical Statistics,1961