The compositional construction of Markov processes II
, and
RAIRO-Theor. Inf. Appl., 45 1 (2011) 117-142
Published online: 15 March 2011
DOI: 10.1051/ita/2011015
