@article {DArgenioSanchezTerrafWolovick2012:MSCS, title = {Bisimulations for non-deterministic labelled Markov processes}, journal = {Mathematical Structures in Computer Science}, volume = {22}, year = {2012}, month = {2/2012}, pages = {43-68}, issn = {0960-1295}, doi = {10.1017/S0960129511000454}, author = {Pedro R. D{\textquoteright}Argenio and Pedro S{\'a}nchez Terraf and Nicol{\'a}s Wolovick} }