?url_ver=Z39.88-2004&rft_id=10.1016%2Fj.tcs.2014.03.001&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Bernardo&rft.aufirst=Marco&rft.au=Bernardo%2C+Marco&rft.issn=0304-3975&rft.date=August+2014&rft.atitle=Relating+strong+behavioral+equivalences+for+processes+with+nondeterminism+and+probabilities&rft.title=Theoretical+Computer+Science&rft.pages=63-92&rft.volume=546&rft.genre=article