The compositional construction of Markov processes IIL. de Francesco Albasini, N. Sabadini and R. F.C. WaltersRAIRO-Theor. Inf. Appl., 45 1 (2011) 117-142DOI: https://doi.org/10.1051/ita/2011015
