TY  - RPRT
TI  - Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages
AU  - D. Latella
AU  - M. Massink
AU  - E. P. de Vink
PY  - 2012
DO  - 10.4204/eptcs.93.2
UR  - https://arxiv.org/abs/1209.1432
ID  - 1209.1432
ER  -