@conference {370, title = {Computing Behavioral Relations for Probabilistic Concurrent Systems}, booktitle = {{ROCKS}}, year = {2012}, doi = {10.1007/978-3-662-45489-3_5}, url = {http://dx.doi.org/10.1007/978-3-662-45489-3_5}, author = {Daniel Gebler and Vahid Hashemi and Andrea Turrini} }