@Inproceedings{EPTCS93.2, author = {Latella, D. and Massink, M. and de Vink, E.P.}, year = {2012}, title = {Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages}, editor = {Golas, Ulrike and Soboll, Thomas}, booktitle = {{\rm Proceedings Seventh ACCAT Workshop on} Applied and Computational Category Theory , {\rm Tallinn, Estonia, 01/04/2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {93}, publisher = {Open Publishing Association}, pages = {23-43}, doi = {10.4204/EPTCS.93.2}, }