?url_ver=Z39.88-2004&rft_id=10.1007%2Fs00236-014-0210-1&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Bernardo%2C+Marco&rft.aulast=Bernardo&rft.aufirst=Marco&rft.volume=52&rft.issue=1&rft.pages=61-106&rft.title=Acta+Informatica&rft.atitle=Revisiting+bisimilarity+and+its+modal+logic+for+nondeterministic+and+probabilistic+processes+&rft.date=February+2015&rft.issn=0001-5903&rft.genre=article