@Inproceedings{EPTCS120.4, author = {Gebler, Daniel and Tini, Simone}, year = {2013}, title = {Compositionality of Approximate Bisimulation for Probabilistic Systems}, editor = {Borgstr\"om, Johannes and Luttik, Bas}, booktitle = {{\rm Proceedings Combined 20th International Workshop on} Expressiveness in Concurrency {\rm and 10th Workshop on} Structural Operational Semantics, {\rm Buenos Aires, Argentina, 26th August, 2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {120}, publisher = {Open Publishing Association}, pages = {32-46}, doi = {10.4204/EPTCS.120.4}, }