?url_ver=Z39.88-2004&rft_id=10.1016%2Fj.ic.2013.02.004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=Marco&rft.aulast=Bernardo&rft.au=Bernardo%2C+Marco&rft.issue=0&rft.pages=29+-+82&rft.volume=225&rft.date=2013&rft.atitle=A+uniform+framework+for+modeling+nondeterministic%2C+probabilistic%2C+stochastic%2C+or+mixed+processes+and+their+behavioral+equivalences+&rft.title=Information+and+Computation&rft.issn=0890-5401&rft.genre=article