Compositional Markovian modelling using a process algebra (1995)

by J Hillston
Venue:Proceedings of the Second International Workshop on Numerical Solution of Markov Chains: Computations with Markov Chains